11. ESOP 2002: Grenoble, France (Part of ETAPS 2002)

Daniel Le Métayer (Ed.): Programming Languages and Systems, 11th European Symposium on Programming, ESOP 2002, held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings. Lecture Notes in Computer Science 2305 Springer 2002, ISBN 3-540-43363-5

Invited Paper

J. Gregory Morrisett:
Type Checking Systems Code. 1-5

Typing and Modularity

Tom Hirschowitz, Xavier Leroy:
Mixin Modules in a Call-by-Value Setting. 6-20
Dan Grossman:
Existential Types for Imperative Languages. 21-35
David Aspinall, Martin Hofmann:
Another Type System for In-Place Update. 36-52

Programming Paradigms

Stefano Bistarelli, Ugo Montanari, Francesca Rossi:
Soft Concurrent Constraint Programming. 53-67
Morgan McGuire, Shriram Krishnamurthi, John F. Hughes:
Programming Languages for Compressing Graphics. 68-82
Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi:
An Accumulative Parallel Skeleton for All. 83-97
Stephanie Weirich:
Higher-Order Intensional Type Analysis. 98-114

Lambda Calculus

J. B. Wells, Christian Haack:
Branching Types. 115-132
James Laird:
Exceptions, Continuations and Macro-expressiveness. 133-146
Neal Glew:
A Theory of Second-Order Trees. 147-161

Program Analysis: Applications

Susan Horwitz:
Tool Support for Improving Test Coverage. 162-177
Mahmut T. Kandemir:
Data Space Oriented Tiling. 178-193
Matthieu Martel:
Propagation of Roundoff Errors in Finite Precision Computations: A Semantics Approach. 194-208
Eric Goubault, Matthieu Martel, Sylvie Putot:
Asserting the Precision of Floating-Point Computations: A Simple Abstract Interpreter. 209-212

Program Analysis: Principles

Mitchell Wand, Galen B. Williamson:
A Modular, Extensible Proof Method for Small-Step Flow Analyses. 213-227
Peter Thiemann:
A Prototype Dependency Calculus. 228-242
Flemming Nielson, Hanne Riis Nielson, Helmut Seidl:
Automatic Complexity Analysis. 243-261

Distributed Programs: Verification and Analysis

Cormac Flanagan, Stephen N. Freund, Shaz Qadeer:
Thread-Modular Verification for Shared-Memory Programs. 262-277
Keith Wansbrough, Michael Norrish, Peter Sewell, Andrei Serjantov:
Timing UDP: Mechanized Semantics for Sockets, Threads, and Failures. 278-294
Witold Charatonik, Andrew D. Gordon, Jean-Marc Talbot:
Finite-Control Mobile Ambients. 295-313
Jérôme Feret:
Dependency Analysis of Mobile Systems. 314-330