Advertisement

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
  15. Ivan Lanese, Cátia Vaz, Carla Ferreira
    Pages 366-386
  16. Vincent Laviron, Bor-Yuh Evan Chang, Xavier Rival
    Pages 387-406
  17. K. Rustan M. Leino, Peter Müller, Jan Smans
    Pages 407-426
  18. Andreas Lochbihler
    Pages 427-447
  19. Kazutaka Matsuda, Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi
    Pages 448-467
  20. Matthew L. Meola, David Walker
    Pages 468-487
  21. Robert Soulé, Martin Hirzel, Robert Grimm, Buğra Gedik, Henrique Andrade, Vibhore Kumar et al.
    Pages 507-528
  22. Nikhil Swamy, Juan Chen, Ravi Chugh
    Pages 529-549
  23. Jesse A. Tov, Riccardo Pucella
    Pages 550-569
  24. Dimitrios Vardoulakis, Olin Shivers
    Pages 570-589
  25. Alexander Wenner
    Pages 590-609
  26. John Wickerson, Mike Dodds, Matthew Parkinson
    Pages 610-629
  27. Back Matter

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
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Energy, Utilities & Environment
Aerospace
Engineering