10. ESOP 2001: Genova, Italy (Part of ETAPS 2001)

@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