9. ESOP 2000:
Berlin,
Germany (Part of ETAPS 2000)
Gert Smolka (Ed.):
Programming Languages and Systems, 9th European Symposium on Programming, ESOP 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings.
Lecture Notes in Computer Science 1782 Springer 2000, ISBN 3-540-67262-1 BibTeX
@proceedings{DBLP:conf/esop/2000,
editor = {Gert Smolka},
title = {Programming Languages and Systems, 9th European Symposium on
Programming, ESOP 2000, Held as Part of the European Joint Conferences
on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany,
March 25 - April 2, 2000, Proceedings},
booktitle = {ESOP},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1782},
year = {2000},
isbn = {3-540-67262-1},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Paper
Regular Papers
- Torben Amtoft, Franklyn A. Turbak:
Faithful Translations between Polyvariant Flows and Polymorphic Types.
26-40
Electronic Edition (Springer LINK) BibTeX
- Nadia Busi, Gianluigi Zavattaro:
On the Expressiveness of Event Notification in Data-Driven Coordination Languages.
41-55
Electronic Edition (Springer LINK) BibTeX
- Henry Cejtin, Suresh Jagannathan, Stephen Weeks:
Flow-Directed Closure Conversion for Typed Languages.
56-71
Electronic Edition (Springer LINK) BibTeX
- Witold Charatonik:
Directional Type Checking for Logic Programs: Beyond Discriminative Types.
72-87
Electronic Edition (Springer LINK) BibTeX
- Olivier Danvy:
Formalizing Implementation Strategies for First-Class Continuations.
88-103
Electronic Edition (Springer LINK) BibTeX
- Ewen Denney, Thomas P. Jensen:
Correctness of Java Card Method Lookup via Logical Relations.
104-118
Electronic Edition (Springer LINK) BibTeX
- Jacob Elgaard, Anders Møller, Michael I. Schwartzbach:
Compile-Time Debugging of C Programs Working on Trees.
119-134
Electronic Edition (Springer LINK) BibTeX
- Kathleen Fisher, John H. Reppy, Jon G. Riecke:
A Calculus for Compiling and Linking Classes.
135-149
Electronic Edition (Springer LINK) BibTeX
- Andrew Heaton, Patricia M. Hill, Andy King:
Abstract Domains for Universal and Existential Properties.
150-164
Electronic Edition (Springer LINK) BibTeX
- Martin Hofmann:
A Type System for Bounded Space and Functional In-Place Update--Extended Abstract.
165-179
Electronic Edition (Springer LINK) BibTeX
- Kohei Honda, Vasco Thudichum Vasconcelos, Nobuko Yoshida:
Secure Information Flow as Typed Process Behaviour.
180-199
Electronic Edition (Springer LINK) BibTeX
- Jacob M. Howe, Andy King:
Implementing Groundness Analysis with Definite Boolean Functions.
200-214
Electronic Edition (Springer LINK) BibTeX
- John Hughes:
The Correctness of Type Specialisation.
215-229
Electronic Edition (Springer LINK) BibTeX
- Mark P. Jones:
Type Classes with Functional Dependencies.
230-244
Electronic Edition (Springer LINK) BibTeX
- Julia L. Lawall, Harry G. Mairson:
Sharing Continuations: Proofnets for Languages with Explicit Control.
245-259
Electronic Edition (Springer LINK) BibTeX
- Elena Machkasova, Franklyn A. Turbak:
A Calculus for Link-Time Compilation.
260-274
Electronic Edition (Springer LINK) BibTeX
- Laurent Mauborgne:
Improving the Representation of Infinite Trees to Deal with Sets of Trees.
275-289
Electronic Edition (Springer LINK) BibTeX
- Markus Müller-Olm, Andreas Wolf:
On the Translation of Procedures to Finite Machines.
290-304
Electronic Edition (Springer LINK) BibTeX
- Flemming Nielson, Hanne Riis Nielson, Shmuel Sagiv:
A Kleene Analysis of Mobile Ambients.
305-319
Electronic Edition (Springer LINK) BibTeX
- François Pottier:
A 3-Part Type Inference Engine.
320-335
Electronic Edition (Springer LINK) BibTeX
- Claudio V. Russo:
First-Class Structures for Standard ML.
336-350
Electronic Edition (Springer LINK) BibTeX
- Helmut Seidl, Bernhard Steffen:
Constraint-Based Inter-Procedural Analysis of Parallel Programs.
351-365
Electronic Edition (Springer LINK) BibTeX
- Frederick Smith, David Walker, J. Gregory Morrisett:
Alias Types.
366-381
Electronic Edition (Springer LINK) BibTeX
- Scott F. Smith, Tiejun Wang:
Polyvariant Flow Analysis with Constrained Types.
382-396
Electronic Edition (Springer LINK) BibTeX
- Hayo Thielecke:
On Exceptions Versus Continuations in the Presence of State.
397-411
Electronic Edition (Springer LINK) BibTeX
- J. B. Wells, René Vestergaard:
Equational Reasoning for Linking with First-Class Primitive Modules.
412-428
Electronic Edition (Springer LINK) BibTeX
Copyright © Sat May 16 23:10:49 2009
by Michael Ley (ley@uni-trier.de)