Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 1988

Mathematical Foundations of Programming Language Semantics

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

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)

Sections

Buy it now

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

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

Table of contents (32 papers)

  1. Front Matter

    PDF

  3. A categorical approach to realizability and polymorphic types

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

  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

  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

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.
Back to top

Keywords

Back to top

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

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation