Skip to main content
SpringerLink
Log in

ESOP '92

4th European Symposium on Programming, Rennes, France, February 26-28, 1992. Proceedings

  • Conference proceedings
  • © 1992

Overview

Editors:
  1. Bernd Krieg-Brückner
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Included in the following conference series:

Conference proceedings info: ESOP 1992.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (28 papers)

  1. Front Matter

    Download chapter PDF

  2. Model checking and boolean graphs

    • Henrik Reif Andersen
    Pages 1-19

  3. SIGNAL as a model for real-time and hybrid systems

    • Albert Benveniste, Michel Le Borgne, Paul Le Guernic
    Pages 20-38

  4. Towards an adequate notion of observation

    • Gilles Bernot, Michel Bidoit, Teodor Knapik
    Pages 39-55

  5. Proving safety of speculative load instructions at compile-time

    • David Bernstein, Michael Rodeh, Mooly Sagiv
    Pages 56-72

  6. Typed norms

    • A. Bossi, N. Cocco, M. Fabris
    Pages 73-92

  7. Compositional refinements in multiple blackboard systems

    • X. J. Chen, C. Montangero
    Pages 93-109

  8. Fully persistent arrays for efficient incremental updates and voluminous reads

    • Tyng-Ruey Chuang
    Pages 110-129

  9. Back to direct style

    • Olivier Danvy
    Pages 130-150

  10. Extraction of strong typing laws from action semantics definitions

    • Kyung-Goo Doh, David A. Schmidt
    Pages 151-166

  11. Detecting determinate computations by bottom-up abstract interpretation

    • Roberto Giacobazzi, Laura Ricci
    Pages 167-181

  12. ELIOS-OBJ theorem proving in a specification language

    • I. Gnaedig
    Pages 182-199

  13. Incremental garbage collection without tags

    • Benjamin Goldberg
    Pages 200-218

  14. Approximate fixed points in abstract interpretation

    • Chris Hankin, Sebastian Hunt
    Pages 219-232

  15. Dynamic typing

    • Fritz Henglein
    Pages 233-253

  16. Automatic parallelization of lazy functional programs

    • Guido Hogen, Andrea Kindler, Rita Loogen
    Pages 254-268

  17. Reversing abstract interpretations

    • John Hughes, John Launchbury
    Pages 269-286

  18. A theory of qualified types

    • Mark P. Jones
    Pages 287-306

  19. A semantics for multiprocessor systems

    • Padmanabhan Krishnan
    Pages 307-320

  20. Interprocedural type propagation for object-oriented languages

    • J. M. Larchevêque
    Pages 321-340
Back to top

Other volumes

  1. ESOP '92

Keywords

About this book

This volume contains selected papers presented at the European Symposium on Programming (ESOP) held jointly with the seventeeth Colloquium on Trees in Algebra and Programming (CAAP) in Rennes, France, February 26-28, 1992 (the proceedings of CAAP appear in LNCS 581). The previous symposiawere held in France, Germany, and Denmark. Every even year, as in 1992, CAAPis held jointly with ESOP. ESOP addresses fundamental issues and important developments in the specification and implementation of programming languages and systems. It continues lines begun in France and Germany under the names "Colloque sur la Programmation" and the GI workshop on "Programmiersprachen und Programmentwicklung". The programme committee received 71 submissions, from which 28 have been selected for inclusion in this volume.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation