Programming languages and systems : 10th European Symposium on Programming, ESOP 2001, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings /
This book constitutes the refereed proceedings of the 10th European Symposium on Programming, ESOP 2001, held in Genova, Italy in April 2001. The 26 revised full papers presented together with two invited papers were carefully reviewed and selected from a total of 76 submissions. Among the topics co...
| Corporate Authors: | , , |
|---|---|
| Other Authors: | |
| Format: | Conference Proceeding eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
[2001]
|
| Series: | Lecture notes in computer science ;
2028. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Table of Contents:
- Query language based on the ambient logic / Luca Cardelli
- Probabilistic polynomial-time process calculus and security protocol analysis / John C. Mitchell
- Systematic approach to static access control / François Pottier, Christian Skalka, and Scott Smith
- Secure information flow and CPS / Steve Zdancewic and Andrew C. Myers
- Enforcing safety properties using type specialization / Peter Thiemann
- Semantics and program analysis of computationally secure information flow / Peeter Laud
- Encoding intensional type analysis / Stephanie Weirich
- Fusion on languages / Roland Backhouse
- Programming the web with high-level programming languages / Paul Graunke ... [et al.]
- On the completeness of model checking / Francesco Ranzato
- Modal transition system: a foundation fot three-valued program analysis / Michael Huth, Radha Jagadeesan, and David Schmidt
- Entailment with conditional equality constraints / Zhendong Su and Alexander Aiken
- On the complexity of constant propagation / Markus Müller-Olm and Oliver Rüthing
- What are polymorphically-typed ambients? / Torben Amtoft ... [et al.]
- JOIN(X): constraint-based type inference for the join-calculus / Sylvain Conchon and François Pottier
- Modular causality in a synchronous stream language / Pascal Cuoq and Marc Pauzet
- Control-flow analysis in cubic time / Flemming Nielson and Helmut Seidl
- Recursive record semantics of objects revisited / Gérard Boudol
- Formalisation of java's exception mechanisms / Bart Jacobs
- Formal executable semantics of the javacard platform / Gilles barthe ... [et al.]
- Modeling an algebraic stepper / John Clements, Matthew, and Matthias Felleisen
- Typestate checking of machine code / Zhichen Xu, Thomas Reps, and Barton P. Miller
- Proof-directed de-compilation of low-level code / Shin-Ya Katsumata and Atsushi Ohori
- Backwards abstract interpretation of probabilistic programs / David Monniaux
- Tool demonstration: finding duplicated code using program dependences / Raghavan Komondoor and Susan Horwitz
- Compiling problem specifications into SAT / Marco Cadoli and Andrea Schaerf
- Semantics and termination of simply-moded logic programs with dynamic scheduling
- Def-inite approach to dependency analysis / Samir ganaim and Michael Codish.