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

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. 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

This book constitutes the refereed proceedings of the 11th European Symposium on Programming, ESOP 2002, held in Grenoble, France, in April 2002.
The 21 revised full papers presented together with an abstract of an invited paper were carefully reviewed and selected from 73 submissions. The papers are organized in topical sections on typing and modularity, programming paradigms, lambda calculus, program analysis applications, program analysis principles, and verification and analysis of distributed programs.

This book constitutes the refereed proceedings of the 11th European Symposium on Programming, ESOP 2002, held in Grenoble, France, in April 2002. The 21 revised full papers presented together with an abstract of an invited paper were carefully reviewed and selected from 73 submissions. The papers are organized in topical sections on typing and modularity, programming paradigms, lambda calculus, program analysis applications, program analysis principles, and verification and analysis of distributed programs This book constitutes the refereed proceedings of the 11th Asian Symposium on Programming Languages and Systems, APLAS 2013, held in Melbourne, Australia, in December 2013. The papers cover a variety of foundational and practical issues in programming languages and systems. Our society is increasingly dependent upon its computing and communications infrastructure.