Programming Languages and Systems : 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European

by Sestoft, Peter

• ISBN13: 9783540330950
• ISBN10: 354033095X
• Format: Paperback
• Copyright: 2006-05-15
• Publisher: Springer Verlag

Summary

This book constitutes the refereed proceedings of the 15th European Symposium on Programming, ESOP 2006, held in Vienna, Austria in March 2006 as part of ETAPS. The 21 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 87 submissions. The papers address fundamental issues in the specification, analysis, and implementation of programming languages and systems; they are organized in topical sections on types for implementations, proof and types, verification and reasoning, security and distribution, analysis and verification, and connecting to the world.

Table of Contents

Types for hierarchic shapes	p. 1
Linear regions are all you need	p. 7
Type-based amortised heap-space analysis	p. 22
Haskell is not not ML	p. 38
Coinductive big-step operational semantics	p. 54
Step-indexed syntactic logical relations for recursive and quantified types	p. 69
Approaches to polymorphism in classical sequent calculus	p. 84
Pure pattern calculus	p. 100
A verification methodology for model fields	p. 115
ILC : a foundation for automated reasoning about pointer programs	p. 131
Bisimulations for untyped imperative objects	p. 146
A typed assembly language for confidentiality	p. 162
Flow locks : towards a core calculus for dynamic flow policies	p. 180
A basic contract language for Web services	p. 197
Types for dynamic reconfiguration	p. 214
Size-change termination analysis in k-bits	p. 230
Path optimization in programs and its application to debugging	p. 246
Inference of user-defined type qualifiers and qualifier rules	p. 264
Assertion checking over combined abstraction of linear arithmetic and uninterpreted functions	p. 279
Embedding dynamic dataflow in a call-by-value language	p. 294
Polymorphic type inference for the JNI	p. 309
Type safety of generics for the .NET common language runtime	p. 325
The Weird world of bi-directional programming	p. 342
Table of Contents provided by Blackwell. All Rights Reserved.