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

  • David Sands
Conference proceedings ESOP 2001

DOI: 10.1007/3-540-45309-1

Part of the Lecture Notes in Computer Science book series (LNCS, volume 2028)

Table of contents (28 papers)

  1. Front Matter
    Pages I-XIII
  2. A Query Language Based on the Ambient Logic
    Luca Cardelli, Giorgio Ghelli
    Pages 1-22
  3. A Systematic Approach to Static Access Control
    François Pottier, Christian Skalka, Scott Smith
    Pages 30-45
  4. Secure Information Flow and CPS
    Steve Zdancewic, Andrew C. Myers
    Pages 46-61
  5. Encoding Intensional Type Analysis
    Stephanie Weirich
    Pages 92-106
  6. Fusion on Languages
    Roland Backhouse
    Pages 107-121
  7. Programming the Web with High-Level Programming Languages
    Paul Graunke, Shriram Krishnamurthi, Steve Van Der Hoeven, Matthias Felleisen
    Pages 122-136
  8. On the Completeness of Model Checking
    Francesco Ranzato
    Pages 137-154
  9. Modal Transition Systems: A Foundation for Three-Valued Program Analysis
    Michael Huth, Radha Jagadeesan, David Schmidt
    Pages 155-169
  10. Entailment with Conditional Equality Constraints
    Zhendong Su, Alexander Aiken
    Pages 170-189
  11. On the Complexity of Constant Propagation
    Markus Müller-Olm, Oliver Rüthing
    Pages 190-205
  12. What Are Polymorphically-Typed Ambients?
    Torben Amtoft, Assaf J. Kfoury, Santiago M. Pericas-Geertsen
    Pages 206-220
  13. JOIN(X): Constraint-Based Type Inference for the Join-Calculus
    Sylvain Conchon, François Pottier
    Pages 221-236
  14. Modular Causality in a Synchronous Stream Language
    Pascal Cuoq, Marc Pouzet
    Pages 237-251
  15. Control-Flow Analysis in Cubic Time
    Flemming Nielson, Helmut Seidl
    Pages 252-268

About these proceedings

Introduction

ETAPS 2001 was the fourth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), ten satellite workshops (CMCS, ETI Day, JOSES, LDTA, MMAABS, PFM, RelMiS, UNIGRA, WADT, WTUML), seven invited lectures, a debate, and ten tutorials. The events that comprise ETAPS address various aspects of the system de- lopment process, including speci cation, design, implementation, analysis, and improvement. The languages, methodologies, and tools which support these - tivities are all well within its scope. Di erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.

Keywords

Computer Languages Formal Languages Language Implementation Program Semantics Programming Language Design Programming Languages Programming Systems Programming Theory Specification logic object-oriented programming programming programming language

Editors and affiliations

  • David Sands
    • 1
  1. 1.Department of Computing ScienceChalmers University of Technology and Göteborg UniversityGöteborgSweden

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2001
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-41862-7
  • Online ISBN 978-3-540-45309-3
  • Series Print ISSN 0302-9743