default search action
17. ESOP 2008: Budapest, Hungary (Part of ETAPS 2008)
- Sophia Drossopoulou:
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
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
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
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
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-22 19:49 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: