Programming Languages and Systems

11th European Symposium on Programming, ESOP 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings

  • Daniel Le Métayer
Conference proceedings ESOP 2002

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

Table of contents

  1. Front Matter
    Pages I-XII
  2. Invited Paper

    1. Greg Morrisett
      Pages 1-5
  3. Typing and Modularity

    1. Tom Hirschowitz, Xavier Leroy
      Pages 6-20
    2. David Aspinall, Martin Hofmann
      Pages 36-52
  4. Programming Paradigms

    1. Stefano Bistarelli, Ugo Montanari, Francesca Rossi
      Pages 53-67
    2. Morgan McGuire, Shriram Krishnamurthi, John F. Hughes
      Pages 68-82
    3. Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
      Pages 83-97
    4. Stephanie Weirich
      Pages 98-114
  5. Lambda Calculus

    1. Joe B. Wells, Christian Haack
      Pages 115-132
    2. Neal Glew
      Pages 147-161
  6. Program Analysis: Applications

  7. Program Analysis: Principles

    1. Mitchell Wand, Galen B. Williamson
      Pages 213-227
    2. Peter Thiemann
      Pages 228-242
    3. Flemming Nielson, Hanne Riis Nielson, Helmut Seidl
      Pages 243-261
  8. Distributed Programs: Verification and Analysis

    1. Cormac Flanagan, Stephen N. Freund, Shaz Qadeer
      Pages 262-277
    2. Keith Wansbrough, Michael Norrish, Peter Sewell, Andrei Serjantov
      Pages 278-294
    3. Witold Charatonik, Andrew D. Gordon, Jean-Marc Talbot
      Pages 295-313
    4. Jérôme Feret
      Pages 314-329
  9. Back Matter
    Pages 331-331

About these proceedings


ETAPS2002wasthe?fthinstanceoftheEuropeanJointConferencesonTheory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised 5 conferences (FOSSACS, FASE, ESOP, CC, TACAS), 13 satellite workshops (ACL2, AGT, CMCS, COCV, DCC, INT, LDTA, SC, SFEDL, SLAP, SPIN, TPTS, and VISS), 8 invited lectures (not including those speci?c to the satellite events), and several tutorials. The events that comprise ETAPS address various aspects of the system - velopmentprocess,includingspeci?cation,design,implementation,analysis,and improvement. The languages, methodologies, and tools which support these - tivities are all well within its scope. Di?erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.


Exception Mixin Programming languages complexity computer languages formal languages lambda calculus language implementation programming programming language programming language design programming theory semantics specification verification

Editors and affiliations

  • Daniel Le Métayer
    • 1
  1. 1.Trusted LogicVersaillesFrance

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2002
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-43363-7
  • Online ISBN 978-3-540-45927-9
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
IT & Software
Finance, Business & Banking
Energy, Utilities & Environment