Skip to main content
  • Conference proceedings
  • © 1986

ESOP 86

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

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

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

Conference proceedings info: ESOP 1986.

Buying options

eBook USD 84.99
Price excludes VAT (USA)
  • ISBN: 978-3-540-39782-3
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 109.00
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (27 papers)

  1. Front Matter

  2. Compiler generation from relational semantics

    • Mads Dam, Frank Jensen
    Pages 1-29
  3. A general approach to the optimization of function calls

    • Kay-Ulrich Felgentreu, Wolfram-Manfred Lippe
    Pages 41-52
  4. Lifetime analysis for procedure parameters

    • U. Kastens, M. Schmidt
    Pages 53-69
  5. A safe approach to parallel combinator reduction (extended abstract)

    • Chris L. Hankin, Geoffrey L. Burn, Simon L. Peyton Jones
    Pages 99-110
  6. Pragmatic aspects of two-level denotational meta-languages

    • Hanne R. Nielson, Flemming Nielson
    Pages 133-143
  7. An experiment in practical semantics

    • Maurice Naftalin
    Pages 144-159
  8. Algebraic semantics of exception handling

    • Gilles Bernot, Michel Bidoit, Christine Choppy
    Pages 173-186
  9. Data refinement refined resume

    • J. He, C. A. R. Hoare, J. W. Sanders
    Pages 187-196
  10. Automatic parallelization of fortran programs in the presence of procedure calls

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

Other Volumes

  1. ESOP 86

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

Keywords

  • Resolution
  • functional programming
  • logic
  • optimization
  • programming
  • programming language
  • semantics

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-5

  • eBook ISBN: 978-3-540-39782-3

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: VIII, 380

  • Topics: Programming Techniques, Computer Science Logic and Foundations of Programming

Buying options

eBook USD 84.99
Price excludes VAT (USA)
  • ISBN: 978-3-540-39782-3
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 109.00
Price excludes VAT (USA)