17. ESOP 2008: Budapest, Hungary (Part of ETAPS 2008)

Sophia Drossopoulou (Ed.): Programming Languages and Systems, 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings. Lecture Notes in Computer Science 4960 Springer 2008, ISBN 978-3-540-78738-9

Semantics, Parametricity, and Types

Scott Owens:
A Sound Semantics for OCamllight. 1-15
Jacob Matthews, Amal Ahmed:
Parametric Polymorphism through Run-Time Sealing or, Theorems for Low, Low Prices!. 16-31
James Cheney:
Regular Expression Subtyping for XML Query and Update Languages. 32-47

Semantics

David Herman, Mitchell Wand:
A Theory of Hygienic Macros. 48-62
Olivier Bouissou, Matthieu Martel:
A Hybrid Denotational Semantics for Hybrid Systems. 63-77
Cinzia Di Giusto, Maurizio Gabbrielli:
Full Abstraction for Linda. 78-92
Adam Poswolsky, Carsten Schürmann:
Practical Programming with Higher-Order Encodings and Dependent Types. 93-107

Functional and Logic Programming

Louis Mandel, Luc Maranget:
Programming in JoCaml (Tool Demonstration). 108-111
Sonia Estévez Martín, Antonio J. Fernández, Fernando Sáenz-Pérez:
Playing with TOY: Constraints and Domain Cooperation. 112-115
Gérard Boudol:
Typing Safe Deallocation. 116-130
Christoffer Rosenkilde Nielsen, Flemming Nielson, Hanne Riis Nielson:
Iterative Specialisation of Horn Clauses. 131-145

ESOP Invited Talk

Thierry Coquand:
Constructive Mathematics and Functional Programming (Abstract). 146-147

Static Analysis

Aziem Chawdhary, Byron Cook, Sumit Gulwani, Mooly Sagiv, Hongseok Yang:
Ranking Abstractions. 148-162
Xavier Allamigeon:
Non-disjunctive Numerical Domain for Array Predicate Abstraction. 163-177
Markus Müller-Olm, Helmut Seidl:
Upper Adjoints for Fast Inter-procedural Variable Equalities. 178-192
Sumit Gulwani, Madan Musuvathi:
Cover Algorithms and Their Combination. 193-207

Security I

Andrew Cirillo, Radha Jagadeesan, Corin Pitcher, James Riely:
Tapido: Trust and Authorization Via Provenance and Integrity in Distributed Objects (Extended Abstract). 208-223
Yûta Kaneko, Naoki Kobayashi:
Linear Declassification. 224-238
Sebastian Hunt, David Sands:
Just Forget It - The Semantics and Enforcement of Information Erasure. 239-253

Concurrency

Maria Grazia Buscemi, Ugo Montanari:
Open Bisimulation for the Concurrent Constraint Pi-Calculus. 254-268
Hugo Torres Vieira, Luís Caires, João Costa Seco:
The Conversation Calculus: A Model of Service-Oriented Computation. 269-283
Tachio Terauchi, Adam Megacz:
Inferring Channel Buffer Bounds Via Linear Programming. 284-298

ETAPS Invited Talk

C.-H. Luke Ong:
Verification of Higher-Order Computation: A Game-Semantic Approach. 299-306

Program Verification

K. Rustan M. Leino, Peter Müller:
Verification of Equivalent-Results Methods. 307-321
Sylvain Conchon, Jean-Christophe Filliâtre:
Semi-persistent Data Structures. 322-336
Rasmus Lerchedahl Petersen, Lars Birkedal, Aleksandar Nanevski, Greg Morrisett:
A Realizability Model for Impredicative Hoare Type Theory. 337-352
Aquinas Hobor, Andrew W. Appel, Francesco Zappa Nardelli:
Oracle Semantics for Concurrent Separation Logic. 353-367

Security II

Gilles Barthe, César Kunz:
Certificate Translation in Abstract Interpretation. 368-382
Cédric Fournet, Nataliya Guts, Francesco Zappa Nardelli:
A Formal Implementation of Value Commitment. 383-397