Advertisement

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
  16. Michael Huth
    Pages 438-453
  17. Guo-Qiang Zhang
    Pages 454-473
  18. R. F. Blute, Prakash Panangaden, R. A. G. Seely
    Pages 474-512
  19. Philip Wadler
    Pages 513-529
  20. R. C. Flagg, R. D. Kopperman
    Pages 544-553
  21. Hugues Calbrix, Maurice Nivat, Andreas Podelski
    Pages 554-566
  22. Adrian Fiech
    Pages 567-586
  23. Anindya Banerjee, David A. Schmidt
    Pages 587-602
  24. Kim B. Bruce, Jonathan Crabtree, Gerald Kanapathy
    Pages 603-626
  25. Olivier Danvy, John Hatcliff
    Pages 627-648
  26. Back Matter

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 Berlin Heidelberg 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
  • Buy this book on publisher's site
Industry Sectors
Biotechnology
Electronics
IT & Software
Telecommunications