Advertisement

Table of contents

  1. Front Matter
  2. Mads Dam, Frank Jensen
    Pages 1-29
  3. Kay-Ulrich Felgentreu, Wolfram-Manfred Lippe
    Pages 41-52
  4. U. Kastens, M. Schmidt
    Pages 53-69
  5. Chris L. Hankin, Geoffrey L. Burn, Simon L. Peyton Jones
    Pages 99-110
  6. Hanne R. Nielson, Flemming Nielson
    Pages 133-143
  7. Maurice Naftalin
    Pages 144-159
  8. Gilles Bernot, Michel Bidoit, Christine Choppy
    Pages 173-186
  9. J. He, C. A. R. Hoare, J. W. Sanders
    Pages 187-196
  10. Rémi Triolet, Paul Feautrier, François Irigoin
    Pages 210-222

About these 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
  • Series Title Lecture Notes in Computer Science
  • Series Abbreviated Title Lect Notes Comput Sci
  • DOI https://doi.org/10.1007/3-540-16442-1
  • Copyright Information Springer-Verlag Berlin Heidelberg 1986
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • 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
  • Number of Illustrations 0 b/w illustrations, 0 illustrations in colour
  • Topics Programming Techniques
    Logics and Meanings of Programs
  • Buy this book on publisher's site
Industry Sectors
Automotive
IT & Software
Telecommunications
Engineering
Finance, Business & Banking
Electronics
Energy, Utilities & Environment
Aerospace