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 BibTeX

Semantics, Parametricity, and Types

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

Semantics

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

Functional and Logic Programming

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

ESOP Invited Talk

Thierry Coquand:
Constructive Mathematics and Functional Programming (Abstract). 146-147
Electronic Edition (link) BibTeX

Static Analysis

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

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
Electronic Edition (link) BibTeX
Yûta Kaneko, Naoki Kobayashi:
Linear Declassification. 224-238
Electronic Edition (link) BibTeX
Sebastian Hunt, David Sands:
Just Forget It - The Semantics and Enforcement of Information Erasure. 239-253
Electronic Edition (link) BibTeX

Concurrency

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

ETAPS Invited Talk

C.-H. Luke Ong:
Verification of Higher-Order Computation: A Game-Semantic Approach. 299-306
Electronic Edition (link) BibTeX

Program Verification

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

Security II

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