[go: up one dir, main page]
Skip to main content
Springer Nature Link
Account

ESOP 86

European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986. Proceedings

  • Conference proceedings
  • © 1986

Overview

Editors:
  1. Bernard Robinet
  2. Reinhard Wilhelm

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

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 EUR 52.74
Price includes VAT (France)
  • 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

Explore related subjects

Discover the latest articles, books and news in related subjects.

Table of contents (27 papers)

  1. Front Matter

    Download chapter PDF

  2. Compiler generation from relational semantics

    • Mads Dam, Frank Jensen
    Pages 1-29

  3. Correctness of code generation from a two-level meta-language

    • Flemming Nielson
    Pages 30-40

  4. A general approach to the optimization of function calls

    • Kay-Ulrich Felgentreu, Wolfram-Manfred Lippe
    Pages 41-52

  5. Lifetime analysis for procedure parameters

    • U. Kastens, M. Schmidt
    Pages 53-69

  6. Another implementation technique for applicative languages

    • Hugh Glaser, Sean Hayes
    Pages 70-81

  7. Graal : A Functional Programming system with uncurryfied combinators and its reduction machine

    • Patrick Bellot
    Pages 82-98

  8. A safe approach to parallel combinator reduction (extended abstract)

    • Chris L. Hankin, Geoffrey L. Burn, Simon L. Peyton Jones
    Pages 99-110

  9. Reducing recursion to iteration by algebraic extension

    • Corrado Böhm
    Pages 111-118

  10. Design and implementation of a generic, logic and functional programming language

    • Didier Bert, Rachid Echahed
    Pages 119-132

  11. Pragmatic aspects of two-level denotational meta-languages

    • Hanne R. Nielson, Flemming Nielson
    Pages 133-143

  12. An experiment in practical semantics

    • Maurice Naftalin
    Pages 144-159

  13. The choice of programming primitives for SETL-like programming languages

    • E. Dahlhaus, J. A. Makowsky
    Pages 160-172

  14. Algebraic semantics of exception handling

    • Gilles Bernot, Michel Bidoit, Christine Choppy
    Pages 173-186

  15. Data refinement refined resume

    • J. He, C. A. R. Hoare, J. W. Sanders
    Pages 187-196

  16. Proving entailment between conceptual state specifications

    • Eugene W. Stark
    Pages 197-209

  17. Automatic parallelization of fortran programs in the presence of procedure calls

    • Rémi Triolet, Paul Feautrier, François Irigoin
    Pages 210-222

  18. Parallelization by semantic detection of reductions

    • P. Jouvelot
    Pages 223-236

  19. Denotational semantics of nets with nondeterminism

    • Joost N. Kok
    Pages 237-249

  20. specification of a tool for viewing program text

    • Airi Salminen
    Pages 250-261
Back to top

Accessibility Information

Accessibility information for this book is coming soon. We're working to make it available as quickly as possible. Thank you for your patience.

Bibliographic Information

  • Book Title: ESOP 86

  • Book Subtitle: European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986. Proceedings

  • Editors: Bernard Robinet, Reinhard Wilhelm

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/3-540-16442-1

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1986

  • Softcover ISBN: 978-3-540-16442-5Published: 01 March 1986

  • eBook ISBN: 978-3-540-39782-3Published: 06 July 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: VIII, 380

  • Topics: Programming Techniques, Logics and Meanings of Programs

Keywords

Publish with us

Policies and ethics

Back to top