Proceedings of the 17th European Symposium on Programming
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

TCS
DBLP
Scholar
Full names Links ISxN
@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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.