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. ProceedingsDaniel Le Metayer 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. |
Contents
1 | |
6 | |
Existential Types for Imperative Languages | 21 |
Another Type System for InPlace Update | 36 |
Soft Concurrent Constraint Programming | 53 |
Programming Languages for Compressing Graphics | 68 |
An Accumulative Parallel Skeleton for All | 83 |
HigherOrder Intensional Type Analysis | 98 |
Data Space Oriented Tiling | 178 |
A Semantics Approach | 194 |
A Simple Abstract Interprete | 209 |
A Modular Extensible Proof Method for SmallStep Flow Analyses | 213 |
A Prototype Dependency Calculus | 228 |
Automatic Complexity Analysis | 243 |
ThreadModular Verification for SharedMemory Programs | 262 |
Mechanized Semantics for Sockets Threads and Failures | 278 |
Branching Types | 115 |
Exceptions Continuations and Macroexpressiveness | 133 |
A Theory of SecondOrder Trees | 147 |
Tool Support for Improving Test Coverage | 162 |
FiniteControl Mobile Ambients | 295 |
Dependency Analysis of Mobile Systems | 314 |
330 | |
Other editions - View all
Programming Languages and Systems: 11th European Symposium on Programming ... Daniel Le Metayer No preview available - 2002 |
Common terms and phrases
abstract abstract interpretation agent algorithm ambient calculus analysis application argument array asymptotic sparsity binding bound compilation components Computer Science consider context control dependency control-ow corresponding data space data tile defined denote dependency graph difierent domain efiect elements encoding environment equivalence error evaluation example execute existential existential types expression finite finite-control function Functional Programming given heap Horn clauses implementation induction input intersection types iteration space kind label lambda calculus Lemma LNCS logic loop marker metric mixin model checking module nests node operational semantics operations parallel programs path polymorphic polytypic predicate problem Programming Languages proof recursive types reduction relation result Section semantics semiring skeleton soft constraint Springer-Verlag static string syntactic syntax Theorem thread tree typable type constructors type system typerec variables vectors