Table of contents

  1. Front Matter
  2. Aurelio Carboni, Peter J. Freyd, Andre Scedrov
    Pages 23-42
  3. Ernie Manes
    Pages 85-120
  4. Philip S. Mulry
    Pages 121-132
  5. Jimmie D. Lawson
    Pages 134-160
  6. Michael Mislove
    Pages 161-172
  7. Robert E. Kent
    Pages 173-199
  8. Karel Hrbacek
    Pages 200-212
  9. Achim Jung
    Pages 303-310
  10. Stephen D. Brookes
    Pages 312-330
  11. G. M. Reed, A. W. Roscoe
    Pages 331-343
  12. Thierry Coquand, Carl Gunter, Glynn Winskel
    Pages 344-363
  13. Tsutomu Kamimura, Adrian Tang
    Pages 364-371

About these proceedings

Introduction

This volume is the proceedings of the 3rd Workshop on the Mathematical Foundations of Programming Language Semantics held at Tulane University, New Orleans, Louisiana, April 8-10, 1987. The 1st Workshop was at Kansas State University, Manhattan, Kansas in April, 1985 (see LNCS 239), and the 2nd Workshop with a limited number of participants was at Kansas State in April, 1986. It was the intention of the organizers that the 3rd Workshop survey as many areas of the Mathematical Foundations of Programming Language Semantics as reasonably possible. The Workshop attracted 49 submitted papers, from which 28 papers were chosen for presentation. The papers ranged in subject from category theory and Lambda-calculus to the structure theory of domains and power domains, to implementation issues surrounding semantics.

Keywords

Action Algorithms ML Miranda algorithm programming programming language real-time semantics

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-19020-1
  • Copyright Information Springer-Verlag 1988
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-19020-2
  • Online ISBN 978-3-540-38920-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book