Skip to main content
  • Conference proceedings
  • © 2010

Programming Languages and Systems

19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 6012)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Conference series link(s): ESOP: European Symposium on Programming

Conference proceedings info: ESOP 2010.

Buy it now

Buying options

eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (32 papers)

  1. Front Matter

  2. A Semantic Framework for Declassification and Endorsement

    • Aslan Askarov, Andrew Myers
    Pages 64-84
  3. A PolyTime Functional Language from Light Linear Logic

    • Patrick Baillot, Marco Gaboardi, Virgile Mogbil
    Pages 104-124
  4. Testing Polymorphic Properties

    • Jean-Philippe Bernardy, Patrik Jansson, Koen Claessen
    Pages 125-144
  5. Formal Verification of Coalescing Graph-Coloring Register Allocation

    • Sandrine Blazy, Benoît Robillard, Andrew W. Appel
    Pages 145-164
  6. A Theory of Speculative Computation

    • Gérard Boudol, Gustavo Petri
    Pages 165-184
  7. Propositional Interpolation and Abstract Interpretation

    • Vijay D’Silva
    Pages 185-204
  8. Functional Programming in Sublinear Space

    • Ugo Dal Lago, Ulrich Schöpp
    Pages 205-225
  9. Logical Concurrency Control from Sequential Proofs

    • Jyotirmoy Deshmukh, G. Ramalingam, Venkatesh-Prasad Ranganath, Kapil Vaswani
    Pages 226-245
  10. Fluid Updates: Beyond Strong vs. Weak Updates

    • Isil Dillig, Thomas Dillig, Alex Aiken
    Pages 246-266
  11. Parameterized Memory Models and Concurrent Separation Logic

    • Rodrigo Ferreira, Xinyu Feng, Zhong Shao
    Pages 267-286
  12. Amortized Resource Analysis with Polynomial Potential

    • Jan Hoffmann, Martin Hofmann
    Pages 287-306
  13. Generative Operational Semantics for Relaxed Memory Models

    • Radha Jagadeesan, Corin Pitcher, James Riely
    Pages 307-326
  14. Automating Security Mediation Placement

    • Dave King, Susmit Jha, Divya Muthukumaran, Trent Jaeger, Somesh Jha, Sanjit A. Seshia
    Pages 327-344
  15. TRX: A Formally Verified Parser Interpreter

    • Adam Koprowski, Henri Binsztok
    Pages 345-365

Other Volumes

  1. Programming Languages and Systems

Editors and Affiliations

  • Roger Needham Building, Microsoft Research, Cambridge, UK

    Andrew D. Gordon

Bibliographic Information

Buy it now

Buying options

eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access