Skip to main content
Springer Nature Link
Log in

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

  • Conference proceedings
  • © 2002
Save conference proceedings
View saved research

Overview

Editors:
  1. Daniel Métayer

    1. Trusted Logic, Versailles, France

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

Included in the following conference series:

Conference proceedings info: ESOP 2002.

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

Access this book

Log in via an institution
eBook EUR 42.79
Price includes VAT (Netherlands)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book EUR 54.49
Price includes VAT (Netherlands)
  • 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

Licence this eBook for your library

Institutional subscriptions

About this book

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.

Similar content being viewed by others

Explore related subjects

Discover the latest articles, books and news in related subjects.

Table of contents (22 papers)

  1. Front Matter

    Pages I-XII
    Download chapter PDF

  2. Invited Paper

    1. Type Checking Systems Code

      • Greg Morrisett
      Pages 1-5

  3. Typing and Modularity

    1. Mixin Modules in a Call-by-Value Setting

      • Tom Hirschowitz, Xavier Leroy
      Pages 6-20

    2. Existential Types for Imperative Languages

      • Dan Grossman
      Pages 21-35

    3. Another Type System for In-Place Update

      • David Aspinall, Martin Hofmann
      Pages 36-52

  4. Programming Paradigms

    1. Soft Concurrent Constraint Programming

      • Stefano Bistarelli, Ugo Montanari, Francesca Rossi
      Pages 53-67

    2. Programming Languages for Compressing Graphics

      • Morgan McGuire, Shriram Krishnamurthi, John F. Hughes
      Pages 68-82

    3. An Accumulative Parallel Skeleton for All

      • Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
      Pages 83-97

    4. Higher-Order Intensional Type Analysis

      • Stephanie Weirich
      Pages 98-114

  5. Lambda Calculus

    1. Branching Types

      • Joe B. Wells, Christian Haack
      Pages 115-132

    2. Exceptions, Continuations and Macro-expressiveness

      • James Laird
      Pages 133-146

    3. A Theory of Second-Order Trees

      • Neal Glew
      Pages 147-161

  6. Program Analysis: Applications

    1. Tool Support for Improving Test Coverage

      • Susan Horwitz
      Pages 162-177

    2. Data Space Oriented Tiling

      • Mahmut Kandemir
      Pages 178-193

    3. Propagation of Roundoff Errors in Finite Precision Computations: A Semantics Approach

      • Matthieu Martel
      Pages 194-208

    4. Asserting the Precision of Floating-Point Computations: A Simple Abstract Interpreter

      • Eric Goubault, Matthieu Martel, Sylvie Putot
      Pages 209-212

  7. Program Analysis: Principles

    1. A Modular, Extensible Proof Method for Small-Step Flow Analyses

      • Mitchell Wand, Galen B. Williamson
      Pages 213-227

    2. A Prototype Dependency Calculus

      • Peter Thiemann
      Pages 228-242

    3. Automatic Complexity Analysis

      • Flemming Nielson, Hanne Riis Nielson, Helmut Seidl
      Pages 243-261

  8. Distributed Programs: Verification and Analysis

    1. Thread-Modular Verification for Shared-Memory Programs

      • Cormac Flanagan, Stephen N. Freund, Shaz Qadeer
      Pages 262-277
Back to top

Other volumes

  1. Programming Languages and Systems

Editors and Affiliations

  • Trusted Logic, Versailles, France

    Daniel Métayer

Accessibility Information

Accessibility information for this book is coming soon. We're working to make it available as quickly as possible. Thank you for your patience.

Bibliographic Information

Keywords

Publish with us

Policies and ethics

Back to top