Skip to main content
SpringerLink
Log in

Mathematical Foundations of Programming Language Semantics

3rd Workshop Tulane University, New Orleans, Louisiana, USA, April 8–10, 1987 Proceedings

  • Conference proceedings
  • © 1988

Overview

Editors:
  1. M. Main
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. A. Melton
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. M. Mislove
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. D. Schmidt
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 298)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (32 papers)

  1. Front Matter

    Download chapter PDF

  2. A categorical treatment of polymorphic operations

    • John W. Gray
    Pages 2-22

  3. A categorical approach to realizability and polymorphic types

    • Aurelio Carboni, Peter J. Freyd, Andre Scedrov
    Pages 23-42

  4. Rule-based semantics for an extended lambda-calculus

    • György E. Révész
    Pages 43-56

  5. Semantics of block structured languages with pointers

    • Eric G. Wagner
    Pages 57-84

  6. Assertional categories

    • Ernie Manes
    Pages 85-120

  7. Kan extensions in effective semantics

    • Philip S. Mulry
    Pages 121-132

  8. The versatile continuous order

    • Jimmie D. Lawson
    Pages 134-160

  9. On the Smyth power domain

    • Michael Mislove
    Pages 161-172

  10. The metric closure powerspace construction

    • Robert E. Kent
    Pages 173-199

  11. A powerdomain construction

    • Karel Hrbacek
    Pages 200-212

  12. Closure properties of a probabilistic domain construction

    • Steven K. Graham
    Pages 213-233

  13. Quasi-uniformities: Reconciling domains with metric spaces

    • M. B. Smyth
    Pages 236-253

  14. Solving reflexive domain equations in a category of complete metric spaces

    • Pierre America, Jan Rutten
    Pages 254-288

  15. Topological completeness in an ideal model for polymorphic types

    • Ernst-Erich Doberkat
    Pages 289-302

  16. New results on hierarchies of domains

    • Achim Jung
    Pages 303-310

  17. Semantically based axiomatics

    • Stephen D. Brookes
    Pages 312-330

  18. Metric spaces as models for real-time concurrency

    • G. M. Reed, A. W. Roscoe
    Pages 331-343

  19. dI-domains as a model of polymorphism

    • Thierry Coquand, Carl Gunter, Glynn Winskel
    Pages 344-363

  20. Continuous auxiliary relations

    • Tsutomu Kamimura, Adrian Tang
    Pages 364-371
Back to top

Keywords

About this book

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.

Bibliographic Information

  • Book Title: Mathematical Foundations of Programming Language Semantics

  • Book Subtitle: 3rd Workshop Tulane University, New Orleans, Louisiana, USA, April 8–10, 1987 Proceedings

  • Editors: M. Main, A. Melton, M. Mislove, D. Schmidt

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/3-540-19020-1

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1988

  • Softcover ISBN: 978-3-540-19020-2Published: 09 March 1988

  • eBook ISBN: 978-3-540-38920-0Published: 13 July 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: VIII, 640

  • Number of Illustrations: 1 b/w illustrations

  • Topics: Mathematics, general, Software Engineering/Programming and Operating Systems, Logics and Meanings of Programs

Publish with us

Policies and ethics

Back to top

Search

Navigation