15. ESOP 2006: Vienna, Austria (Part of ETAPS 2006)

Peter Sestoft (Ed.): Programming Languages and Systems, 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006, Proceedings. Lecture Notes in Computer Science 3924 Springer 2006, ISBN 3-540-33095-X BibTeX

Sophia Drossopoulou, David Clarke, James Noble:
Types for Hierarchic Shapes. 1-6
Electronic Edition (link) BibTeX
Matthew Fluet, Greg Morrisett, Amal J. Ahmed:
Linear Regions Are All You Need. 7-21
Electronic Edition (link) BibTeX
Martin Hofmann, Steffen Jost:
Type-Based Amortised Heap-Space Analysis. 22-37
Electronic Edition (link) BibTeX
Ben Rudiak-Gould, Alan Mycroft, Simon L. Peyton Jones:
Haskell Is Not Not ML. 38-53
Electronic Edition (link) BibTeX
Xavier Leroy:
Coinductive Big-Step Operational Semantics. 54-68
Electronic Edition (link) BibTeX
Amal J. Ahmed:
Step-Indexed Syntactic Logical Relations for Recursive and Quantified Types. 69-83
Electronic Edition (link) BibTeX
Alexander J. Summers, Steffen van Bakel:
Approaches to Polymorphism in Classical Sequent Calculus. 84-99
Electronic Edition (link) BibTeX
C. Barry Jay, Delia Kesner:
Pure Pattern Calculus. 100-114
Electronic Edition (link) BibTeX
K. Rustan M. Leino, Peter Müller:
A Verification Methodology for Model Fields. 115-130
Electronic Edition (link) BibTeX
Limin Jia, David Walker:
ILC: A Foundation for Automated Reasoning About Pointer Programs. 131-145
Electronic Edition (link) BibTeX
Vasileios Koutavas, Mitchell Wand:
Bisimulations for Untyped Imperative Objects. 146-161
Electronic Edition (link) BibTeX
Dachuan Yu, Nayeem Islam:
A Typed Assembly Language for Confidentiality. 162-179
Electronic Edition (link) BibTeX
Niklas Broberg, David Sands:
Flow Locks: Towards a Core Calculus for Dynamic Flow Policies. 180-196
Electronic Edition (link) BibTeX
Samuele Carpineti, Cosimo Laneve:
A Basic Contract Language for Web Services. 197-213
Electronic Edition (link) BibTeX
João Costa Seco, Luís Caires:
Types for Dynamic Reconfiguration. 214-229
Electronic Edition (link) BibTeX
Michael Codish, Vitaly Lagoon, Peter Schachte, Peter J. Stuckey:
Size-Change Termination Analysis in k-Bits. 230-245
Electronic Edition (link) BibTeX
Akash Lal, Junghee Lim, Marina Polishchuk, Ben Liblit:
Path Optimization in Programs and Its Application to Debugging. 246-263
Electronic Edition (link) BibTeX
Brian Chin, Shane Markstrum, Todd D. Millstein, Jens Palsberg:
Inference of User-Defined Type Qualifiers and Qualifier Rules. 264-278
Electronic Edition (link) BibTeX
Sumit Gulwani, Ashish Tiwari:
Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions. 279-293
Electronic Edition (link) BibTeX
Gregory H. Cooper, Shriram Krishnamurthi:
Embedding Dynamic Dataflow in a Call-by-Value Language. 294-308
Electronic Edition (link) BibTeX
Michael Furr, Jeffrey S. Foster:
Polymorphic Type Inference for the JNI. 309-324
Electronic Edition (link) BibTeX
Nicu G. Fruja:
Type Safety of Generics for the .NET Common Language Runtime. 325-341
Electronic Edition (link) BibTeX
Benjamin C. Pierce:
The Weird World of Bi-directional Programming. 342-342
Electronic Edition (link) BibTeX