default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID10th ESOP 2001: Genova, Italy
- David Sands:
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 - Luca Cardelli, Giorgio Ghelli:
A Query Language Based on the Ambient Logic. 1-22 - John C. Mitchell:
Probabilistic Polynomial-Time Process Calculus and Security Protocol Analysis. 23-29 - François Pottier, Christian Skalka, Scott F. Smith:
A Systematic Approach to Static Access Control. 30-45 - Steve Zdancewic, Andrew C. Myers:
Secure Information Flow and CPS. 46-61 - Peter Thiemann:
Enforcing Safety Properties Using Type Specialization. 62-76 - Peeter Laud
:
Semantics and Program Analysis of Computationally Secure Information Flow. 77-91 - Stephanie Weirich:
Encoding Intensional Type Analysis. 92-106 - Roland Carl Backhouse:
Fusion on Languages. 107-121 - Paul T. Graunke, Shriram Krishnamurthi, Steve Van Der Hoeven, Matthias Felleisen:
Programming the Web with High-Level Programming Languages. 122-136 - Francesco Ranzato:
On the Completeness of Model Checking. 137-154 - Michael Huth, Radha Jagadeesan, David A. Schmidt:
Modal Transition Systems: A Foundation for Three-Valued Program Analysis. 155-169 - Zhendong Su, Alexander Aiken:
Entailment with Conditional Equality Constraints. 170-189 - Markus Müller-Olm, Oliver Rüthing:
On the Complexity of Constant Propagation. 190-205 - Torben Amtoft, A. J. Kfoury, Santiago M. Pericás-Geertsen:
What Are Polymorphically-Typed Ambients? 206-220 - Sylvain Conchon, François Pottier:
JOIN(X): Constraint-Based Type Inference for the Join-Calculus. 221-236 - Pascal Cuoq, Marc Pouzet:
Modular Causality in a Synchronous Stream Language. 237-251 - Flemming Nielson, Helmut Seidl:
Control-Flow Analysis in Cubic Time. 252-268 - Gérard Boudol:
The Recursive Record Semantics of Objects Revisited. 269-283 - Bart Jacobs:
A Formalisation of Java's Exception Mechanism. 284-301 - Gilles Barthe, Guillaume Dufay, Line Jakubiec, Bernard P. Serpette, Simão Melo de Sousa:
A Formal Executable Semantics of the JavaCard Platform. 302-319 - John Clements, Matthew Flatt, Matthias Felleisen:
Modeling an Algebraic Stepper. 320-334 - Zhichen Xu, Thomas W. Reps, Barton P. Miller:
Typestate Checking of Machine Code. 335-351 - Shin-ya Katsumata, Atsushi Ohori:
Proof-Directed De-compilation of Low-Level Code. 352-366 - David Monniaux:
Backwards Abstract Interpretation of Probabilistic Programs. 367-382 - Raghavan Komondoor, Susan Horwitz:
Tool Demonstration: Finding Duplicated Code Using Program Dependences. 383-386 - Marco Cadoli, Andrea Schaerf:
Compiling Problem Specifications into SAT. 387-401 - Annalisa Bossi, Sandro Etalle, Sabina Rossi, Jan-Georg Smaus:
Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling. 402-416 - Samir Genaim, Michael Codish:
The Def-inite Approach to Dependency Analysis. 417-432
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 2026-01-24 01: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:
