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.

Buying options

eBook USD 129.00
Price excludes VAT (USA)
  • ISBN: 978-3-642-11957-6
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 169.00
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

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. Functional Programming in Sublinear Space

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

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

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

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

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

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

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

    • Adam Koprowski, Henri Binsztok
    Pages 345-365

Other Volumes

  1. 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

Keywords

  • ETAPS
  • Java
  • Processing
  • ants
  • classification
  • functional programming
  • grammar
  • programming
  • programming language
  • verification

Editors and Affiliations

  • Roger Needham Building, Microsoft Research, Cambridge, UK

    Andrew D. Gordon

Bibliographic Information

Buying options

eBook USD 129.00
Price excludes VAT (USA)
  • ISBN: 978-3-642-11957-6
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 169.00
Price excludes VAT (USA)