Table of contents

  1. Front Matter
  2. Peter Aczel
    Pages 1-28
  3. Pierre-Louis Curien
    Pages 29-71
  4. Jan Rutten
    Pages 83-102
  5. Franck van Breugel
    Pages 103-121
  6. J. W. de Bakker, F. van Breugel
    Pages 122-142
  7. Davide Sangiorgi
    Pages 143-159
  8. Steve Schneider
    Pages 177-214
  9. Liang Chen
    Pages 215-229
  10. David Scholefield, Hussein Zedan, He Jifeng
    Pages 230-249
  11. Eike Best, Hans-Günther Linde-Göers
    Pages 250-270
  12. G. Michele Pinna, Axel Poigné
    Pages 271-292
  13. Philip S. Mulry
    Pages 304-319
  14. Allen Stoughton
    Pages 359-377
  15. Stephen L. Bloom, Zoltán Ésik
    Pages 378-409

About these proceedings

Introduction

This volume is the proceedings of the Ninth International Conference on the Mathematical Foundations of Programming Semantics, held in New Orleans in April 1993. The focus of the conference series is the semantics of programming languages and the mathematics which supports the study of the semantics. The semantics is basically denotation. The mathematics may be classified as category theory, lattice theory, or logic. Recent conferences and workshops have increasingly emphasized applications of the semantics and mathematics. The study of the semantics develops with the mathematics and the mathematics is inspired by the applications in semantics. The volume presents current research in denotational semantics and applications of category theory, logic, and lattice theory to semantics.

Keywords

Formale Sprachen Mathematical Logic Mathematische Grundlage Programmiersemantik Programmiertheorie Programming Semantics logic programming programming language semantics

Bibliographic information

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