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
  11. Patrice Biozumault, Patrice Boizumault
    Pages 262-273
  12. Paola Mello, Antonio Natali
    Pages 274-288
  13. Bernd Schwinn, Gerhard Barth
    Pages 289-300
  14. Jiro Tanaka, Makoto Kishishita
    Pages 301-314
  15. Christian Codognet, Philippe Codognet, Gilberto Filé
    Pages 315-326

About these proceedings

Keywords

Resolution functional programming logic optimization programming programming language semantics

Bibliographic information

  • 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
  • Print ISBN 978-3-540-16442-5
  • Online ISBN 978-3-540-39782-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Electronics
IT & Software
Telecommunications
Aerospace
Engineering