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

ESOP 86

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

Editors:

  1. Bernard Robinet
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Reinhard Wilhelm
    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 213)

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 (27 papers)

  1. Front Matter

    PDF

  2. Compiler generation from relational semantics

    • Mads Dam, Frank Jensen
    Pages 1-29

  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

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

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

  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

  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

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

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

Keywords

Back to top

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

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