Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 1992

ESOP '92

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

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)

Conference series link(s): ESOP: European Symposium on Programming

Conference proceedings info: ESOP 1992.

Sections

Buy it now

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

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

Table of contents (28 papers)

  1. Front Matter

    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

  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

  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
Back to top

Other Volumes

  1. ESOP '92

Back to top

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.
Back to top

Keywords

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation