Sophia Drossopoulou
Proceedings of the 17th European Symposium on Programming
ESOP, 2008.

@proceedings{ESOP-2008,
	address       = "Budapest, Hungary",
	editor        = "Sophia Drossopoulou",
	isbn          = "978-3-540-78738-9",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 17th European Symposium on Programming}",
	volume        = 4960,
	year          = 2008,
}

Contents (29 items)

5 ×#semantics
4 ×#programming
3 ×#abstraction
3 ×#type system
2 ×#concurrent
2 ×#constraints
2 ×#higher-order
2 ×#linear
2 ×#verification

ESOP-2008-Owens #semantics

A Sound Semantics for OCamllight (SO), pp. 1–15.

ESOP-2008-MatthewsA #exclamation #morphism #parametricity #polymorphism #runtime #theorem

Parametric Polymorphism through Run-Time Sealing or, Theorems for Low, Low Prices! (JM, AA), pp. 16–31.

ESOP-2008-Cheney #query #regular expression #type system #xml

Regular Expression Subtyping for XML Query and Update Languages (JC), pp. 32–47.

ESOP-2008-HermanW #formal method #metaprogramming

A Theory of Hygienic Macros (DH, MW), pp. 48–62.

ESOP-2008-BouissouM #hybrid #semantics

A Hybrid Denotational Semantics for Hybrid Systems (OB, MM), pp. 63–77.

ESOP-2008-GiustoG #abstraction

Full Abstraction for Linda (CDG, MG), pp. 78–92.

ESOP-2008-PoswolskyS #dependent type #encoding #higher-order #programming

Practical Programming with Higher-Order Encodings and Dependent Types (AP, CS), pp. 93–107.

ESOP-2008-MandelM #programming

Programming in JoCaml (LM, LM), pp. 108–111.

ESOP-2008-MartinFS #constraints #game studies

Playing with TOY: Constraints and Domain Cooperation (SEM, AJF, FSP), pp. 112–115.

ESOP-2008-Boudol #type system

Typing Safe Deallocation (GB), pp. 116–130.

ESOP-2008-NielsenNN #horn clause

Iterative Specialisation of Horn Clauses (CRN, FN, HRN), pp. 131–145.

ESOP-2008-Coquand #functional #programming

Constructive Mathematics and Functional Programming (TC), pp. 146–147.

ESOP-2008-ChawdharyCGSY #abstraction #ranking

Ranking Abstractions (AC, BC, SG, MS, HY), pp. 148–162.

ESOP-2008-Allamigeon #abstraction #array

Non-disjunctive Numerical Domain for Array Predicate Abstraction (XA), pp. 163–177.

ESOP-2008-Muller-OlmS #interprocedural #performance

Upper Adjoints for Fast Inter-procedural Variable Equalities (MMO, HS), pp. 178–192.

ESOP-2008-GulwaniM #algorithm

Cover Algorithms and Their Combination (SG, MM), pp. 193–207.

ESOP-2008-CirilloJPR #distributed #named #trust

Tapido: Trust and Authorization Via Provenance and Integrity in Distributed Objects (AC, RJ, CP, JR), pp. 208–223.

ESOP-2008-KanekoK #classification #linear

Linear Declassification (YK, NK), pp. 224–238.

ESOP-2008-HuntS #semantics

Just Forget It — The Semantics and Enforcement of Information Erasure (SH, DS), pp. 239–253.

ESOP-2008-BuscemiM #bisimulation #concurrent #constraints #π-calculus

Open Bisimulation for the Concurrent Constraint π-Calculus (MGB, UM), pp. 254–268.

ESOP-2008-VieiraCS #calculus

The Conversation Calculus: A Model of Service-Oriented Computation (HTV, LC, JCS), pp. 269–283.

ESOP-2008-TerauchiM #bound #linear #programming

Inferring Channel Buffer Bounds Via Linear Programming (TT, AM), pp. 284–298.

ESOP-2008-Ong #approach #higher-order #semantics #verification

Verification of Higher-Order Computation: A Game-Semantic Approach (CHLO), pp. 299–306.

ESOP-2008-LeinoM #verification

Verification of Equivalent-Results Methods (KRML, PM), pp. 307–321.

ESOP-2008-ConchonF #data type

Semi-persistent Data Structures (SC, JCF), pp. 322–336.

ESOP-2008-PetersenBNM #hoare #type system

A Realizability Model for Impredicative Hoare Type Theory (RLP, LB, AN, GM), pp. 337–352.

ESOP-2008-HoborAN #concurrent #logic #semantics

Oracle Semantics for Concurrent Separation Logic (AH, AWA, FZN), pp. 353–367.

ESOP-2008-BartheK #abstract interpretation

Certificate Translation in Abstract Interpretation (GB, CK), pp. 368–382.

ESOP-2008-FournetGN #implementation

A Formal Implementation of Value Commitment (CF, NG, FZN), pp. 383–397.