Table of contents

  1. Front Matter
  2. Henk Barendregt, Kees Hemerik
    Pages 1-35
  3. Robert Paige
    Pages 36-56
  4. Charles Consel, Olivier Danvy
    Pages 88-105
  5. Danny De Schreye, Dirk Pollet, Johan Ronsyn, Maurice Bruynooghe
    Pages 106-117
  6. Susan Even, David A. Schmidt
    Pages 118-133
  7. Matthias Felleisen
    Pages 134-151
  8. Reinhold Heckmann
    Pages 177-196
  9. Leen Helmink
    Pages 197-211
  10. Stanley Jefferson, Shinn-Der Lee, Daniel P. Friedman
    Pages 212-226
  11. Thomas P. Jensen, Torben Æ. Mogensen
    Pages 227-239
  12. Martin Jourdan, Didier Parigot
    Pages 240-255
  13. Herbert Kuchen, Rita Loogen, Juan José Moreno-Navarro, Mario Rodríguez-Artalejo
    Pages 271-290
  14. Maurizio Proietti, Alberto Pettorossi
    Pages 306-325

About these proceedings

Introduction

This volume presents the proceedings of a conference on programming and programming languages. It contains original research contributions addressing fundamental issues and important developments in the design, specification and implementation of programming languages and systems. Topics include: - Program development: specification, methodology, tools, environments; - Programming language concepts: types, data abstraction, parallelism, real-time; - Language implementation techniques: compilers, interpreters, abstract machine design, optimization; - Programs as data objects: abstract interpretation, program transformation, partial evaluation; - Programming styles: imperative, functional, predicative, object-oriented.

Keywords

Algebra D programming language Implementierung Programmieren Programmiersprachen Spezifikation object

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-52592-0
  • Copyright Information Springer-Verlag 1990
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-52592-9
  • Online ISBN 978-3-540-47045-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book