10. ESOP 2001:
Genova,
Italy (Part of ETAPS 2001)
David Sands (Ed.):
Programming Languages and Systems, 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings.
Lecture Notes in Computer Science 2028 Springer 2001, ISBN 3-540-41862-8 BibTeX
@proceedings{DBLP:conf/esop/2001,
editor = {David Sands},
title = {Programming Languages and Systems, 10th European Symposium on
Programming, ESOP 2001 Held as Part of the Joint European Conferences
on Theory and Practice of Software, ETAPS 2001 Genova, Italy,
April 2-6, 2001, Proceedings},
booktitle = {ESOP},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2028},
year = {2001},
isbn = {3-540-41862-8},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
- Luca Cardelli, Giorgio Ghelli:
A Query Language Based on the Ambient Logic.
1-22
Electronic Edition (Springer LINK) BibTeX
- John C. Mitchell:
Probabilistic Polynomial-Time Process Calculus and Security Protocol Analysis.
23-29
Electronic Edition (Springer LINK) BibTeX
- François Pottier, Christian Skalka, Scott F. Smith:
A Systematic Approach to Static Access Control.
30-45
Electronic Edition (Springer LINK) BibTeX
- Steve Zdancewic, Andrew C. Myers:
Secure Information Flow and CPS.
46-61
Electronic Edition (Springer LINK) BibTeX
- Peter Thiemann:
Enforcing Safety Properties Using Type Specialization.
62-76
Electronic Edition (Springer LINK) BibTeX
- Peeter Laud:
Semantics and Program Analysis of Computationally Secure Information Flow.
77-91
Electronic Edition (Springer LINK) BibTeX
- Stephanie Weirich:
Encoding Intensional Type Analysis.
92-106
Electronic Edition (Springer LINK) BibTeX
- Roland Carl Backhouse:
Fusion on Languages.
107-121
Electronic Edition (Springer LINK) BibTeX
- Paul T. Graunke, Shriram Krishnamurthi, Steve Van Der Hoeven, Matthias Felleisen:
Programming the Web with High-Level Programming Languages.
122-136
Electronic Edition (Springer LINK) BibTeX
- Francesco Ranzato:
On the Completeness of Model Checking.
137-154
Electronic Edition (Springer LINK) BibTeX
- Michael Huth, Radha Jagadeesan, David A. Schmidt:
Modal Transition Systems: A Foundation for Three-Valued Program Analysis.
155-169
Electronic Edition (Springer LINK) BibTeX
- Zhendong Su, Alexander Aiken:
Entailment with Conditional Equality Constraints.
170-189
Electronic Edition (Springer LINK) BibTeX
- Markus Müller-Olm, Oliver Rüthing:
On the Complexity of Constant Propagation.
190-205
Electronic Edition (Springer LINK) BibTeX
- Torben Amtoft, A. J. Kfoury, Santiago M. Pericás-Geertsen:
What Are Polymorphically-Typed Ambients?
206-220
Electronic Edition (Springer LINK) BibTeX
- Sylvain Conchon, François Pottier:
JOIN(X): Constraint-Based Type Inference for the Join-Calculus.
221-236
Electronic Edition (Springer LINK) BibTeX
- Pascal Cuoq, Marc Pouzet:
Modular Causality in a Synchronous Stream Language.
237-251
Electronic Edition (Springer LINK) BibTeX
- Flemming Nielson, Helmut Seidl:
Control-Flow Analysis in Cubic Time.
252-268
Electronic Edition (Springer LINK) BibTeX
- Gérard Boudol:
The Recursive Record Semantics of Objects Revisited.
269-283
Electronic Edition (Springer LINK) BibTeX
- Bart Jacobs:
A Formalisation of Java's Exception Mechanism.
284-301
Electronic Edition (Springer LINK) BibTeX
- Gilles Barthe, Guillaume Dufay, Line Jakubiec, Bernard P. Serpette, Simão Melo de Sousa:
A Formal Executable Semantics of the JavaCard Platform.
302-319
Electronic Edition (Springer LINK) BibTeX
- John Clements, Matthew Flatt, Matthias Felleisen:
Modeling an Algebraic Stepper.
320-334
Electronic Edition (Springer LINK) BibTeX
- Zhichen Xu, Thomas W. Reps, Barton P. Miller:
Typestate Checking of Machine Code.
335-351
Electronic Edition (Springer LINK) BibTeX
- Shin-ya Katsumata, Atsushi Ohori:
Proof-Directed De-compilation of Low-Level Code.
352-366
Electronic Edition (Springer LINK) BibTeX
- David Monniaux:
Backwards Abstract Interpretation of Probabilistic Programs.
367-382
Electronic Edition (Springer LINK) BibTeX
- Raghavan Komondoor, Susan Horwitz:
Tool Demonstration: Finding Duplicated Code Using Program Dependences.
383-386
Electronic Edition (Springer LINK) BibTeX
- Marco Cadoli, Andrea Schaerf:
Compiling Problem Specifications into SAT.
387-401
Electronic Edition (Springer LINK) BibTeX
- Annalisa Bossi, Sandro Etalle, Sabina Rossi, Jan-Georg Smaus:
Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling.
402-416
Electronic Edition (Springer LINK) BibTeX
- Samir Genaim, Michael Codish:
The Def-inite Approach to Dependency Analysis.
417-432
Electronic Edition (Springer LINK) BibTeX
Copyright © Sat May 16 23:10:49 2009
by Michael Ley (ley@uni-trier.de)