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

  • Andrew D. Gordon

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

Table of contents

  1. Front Matter
  2. Aslan Askarov, Andrew Myers
    Pages 64-84
  3. Patrick Baillot, Marco Gaboardi, Virgile Mogbil
    Pages 104-124
  4. Jean-Philippe Bernardy, Patrik Jansson, Koen Claessen
    Pages 125-144
  5. Sandrine Blazy, Benoît Robillard, Andrew W. Appel
    Pages 145-164
  6. Gérard Boudol, Gustavo Petri
    Pages 165-184
  7. Ugo Dal Lago, Ulrich Schöpp
    Pages 205-225
  8. Jyotirmoy Deshmukh, G. Ramalingam, Venkatesh-Prasad Ranganath, Kapil Vaswani
    Pages 226-245
  9. Isil Dillig, Thomas Dillig, Alex Aiken
    Pages 246-266
  10. Rodrigo Ferreira, Xinyu Feng, Zhong Shao
    Pages 267-286
  11. Jan Hoffmann, Martin Hofmann
    Pages 287-306
  12. Radha Jagadeesan, Corin Pitcher, James Riely
    Pages 307-326
  13. Dave King, Susmit Jha, Divya Muthukumaran, Trent Jaeger, Somesh Jha, Sanjit A. Seshia
    Pages 327-344
  14. Adam Koprowski, Henri Binsztok
    Pages 345-365

About these proceedings

Keywords

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

Editors and affiliations

  • Andrew D. Gordon
    • 1
  1. 1.Roger Needham BuildingMicrosoft ResearchCambridgeUK

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-11957-6
  • Copyright Information Springer-Verlag Berlin Heidelberg 2010
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-11956-9
  • Online ISBN 978-3-642-11957-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book