ESOP 2001

28 papers

1. A Formal Executable Semantics of the JavaCard Platform · Gilles Barthe, Guillaume Dufay, Line Jakubiec, Bernard P. Serpette, Simão Melo de Sousa
2. A Formalisation of Java's Exception Mechanism · Bart Jacobs
3. A Query Language Based on the Ambient Logic · Luca Cardelli, Giorgio Ghelli
4. A Systematic Approach to Static Access Control · François Pottier, Christian Skalka, Scott F. Smith
5. Backwards Abstract Interpretation of Probabilistic Programs · David Monniaux
6. Compiling Problem Specifications into SAT · Marco Cadoli, Andrea Schaerf
7. Control-Flow Analysis in Cubic Time · Flemming Nielson, Helmut Seidl
8. Encoding Intensional Type Analysis · Stephanie Weirich
9. Enforcing Safety Properties Using Type Specialization · Peter Thiemann
10. Entailment with Conditional Equality Constraints · Zhendong Su, Alexander Aiken
11. Fusion on Languages · Roland Carl Backhouse
12. JOIN(X): Constraint-Based Type Inference for the Join-Calculus · Sylvain Conchon, François Pottier
13. Modal Transition Systems: A Foundation for Three-Valued Program Analysis · Michael Huth, Radha Jagadeesan, David A. Schmidt
14. Modeling an Algebraic Stepper · John Clements, Matthew Flatt, Matthias Felleisen
15. Modular Causality in a Synchronous Stream Language · Pascal Cuoq, Marc Pouzet
16. On the Completeness of Model Checking · Francesco Ranzato
17. On the Complexity of Constant Propagation · Markus Müller-Olm, Oliver Rüthing
18. Probabilistic Polynomial-Time Process Calculus and Security Protocol Analysis · John C. Mitchell
19. Programming the Web with High-Level Programming Languages · Paul T. Graunke, Shriram Krishnamurthi, Steve Van Der Hoeven, Matthias Felleisen
20. Proof-Directed De-compilation of Low-Level Code · Shin-ya Katsumata, Atsushi Ohori
21. Secure Information Flow and CPS · Steve Zdancewic, Andrew C. Myers
22. Semantics and Program Analysis of Computationally Secure Information Flow · Peeter Laud
23. Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling · Annalisa Bossi, Sandro Etalle, Sabina Rossi, Jan-Georg Smaus
24. The Def-inite Approach to Dependency Analysis · Samir Genaim, Michael Codish
25. The Recursive Record Semantics of Objects Revisited · Gérard Boudol
26. Tool Demonstration: Finding Duplicated Code Using Program Dependences · Raghavan Komondoor, Susan Horwitz
27. Typestate Checking of Machine Code · Zhichen Xu, Thomas W. Reps, Barton P. Miller
28. What Are Polymorphically-Typed Ambients? · Torben Amtoft, A. J. Kfoury, Santiago M. Pericás-Geertsen