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

Greg Morrisett (auth.), Daniel Le Métayer (eds.)3540433635, 9783540433637

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.

---

Table of contents :
Type Checking Systems Code….Pages 1-5
Mixin Modules in a Call-by-Value Setting….Pages 6-20
Existential Types for Imperative Languages….Pages 21-35
Another Type System for In-Place Update….Pages 36-52
Soft Concurrent Constraint Programming….Pages 53-67
Programming Languages for Compressing Graphics….Pages 68-82
An Accumulative Parallel Skeleton for All….Pages 83-97
Higher-Order Intensional Type Analysis….Pages 98-114
Branching Types….Pages 115-132
Exceptions, Continuations and Macro-expressiveness….Pages 133-146
A Theory of Second-Order Trees….Pages 147-161
Tool Support for Improving Test Coverage….Pages 162-177
Data Space Oriented Tiling….Pages 178-193
Propagation of Roundoff Errors in Finite Precision Computations: A Semantics Approach….Pages 194-208
Asserting the Precision of Floating-Point Computations: A Simple Abstract Interpreter….Pages 209-212
A Modular, Extensible Proof Method for Small-Step Flow Analyses….Pages 213-227
A Prototype Dependency Calculus….Pages 228-242
Automatic Complexity Analysis….Pages 243-261
Thread-Modular Verification for Shared-Memory Programs….Pages 262-277
Timing UDP: Mechanized Semantics for Sockets, Threads, and Failures….Pages 278-294
Finite-Control Mobile Ambients….Pages 295-313
Dependency Analysis of Mobile Systems….Pages 314-329