Skip to main content
SpringerLink
Log in
Book cover

Mathematical Foundation of Programming Semantics

International Conference, Manhattan, Kansas, April 11-12, 1985. Proceedings

  • Conference proceedings
  • © 1986

Overview

Editors:
  1. Austin Melton
    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 239)

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 (21 papers)

  1. Front Matter

    Download chapter PDF

  2. Standard, storeless semantics for ALGOL-style block structure and call-by-name

    • S. Kamal Abdali, David S. Wise
    Pages 1-19

  3. Cartesian closed categories, quasitopoi and topological universes

    • Jiří Adámek, Horst Herrlich
    Pages 20-41

  4. Concrete categories and injectivity

    • H. Bargenda, H. Herrlich, G. E. Strecker
    Pages 42-52

  5. Fixed points in process algebras with internal actions

    • David B. Benson, Jerzy Tiuryn
    Pages 53-58

  6. A fully abstract semantics and a proof system for an algol-like language with sharing

    • Stephen D. Brookes
    Pages 59-100

  7. Comparing categories of domains

    • Carl A. Gunter
    Pages 101-121

  8. Galois connections

    • Horst Herrlich, Miroslav HuÅ¡ek
    Pages 122-134

  9. Retracts of SFP objects

    • Tsutomu Kamimura, Adrian Tang
    Pages 135-148

  10. Continuous categories

    • Jürgen Koslowski
    Pages 149-161

  11. Free constructions of powerdomains

    • Michael G. Main
    Pages 162-183

  12. Additive domains

    • Ernest G. Manes
    Pages 184-195

  13. A topological framework for cpos lacking bottom elements

    • Austin C. Melton, David A. Schmidt
    Pages 196-204

  14. Detecting local finite breadth in continuous lattices and semilattices

    • Michael Mislove
    Pages 205-214

  15. On the variety concept for ω-continuous algebras. Application of a general approach

    • Ana Pasztor
    Pages 215-248

  16. On denotational semantics of data bases

    • Naphtali Rishe
    Pages 249-274

  17. Postconditional semantics of data base queries

    • Naphtali Rishe
    Pages 275-295

  18. What is a model? A consumer's perspective on semantic theory

    • Jon Shultis
    Pages 296-307

  19. Modal theory, partial orders, and digital geometry

    • Jonathan D. H. Smith
    Pages 308-323

  20. An FP domain with infinite objects

    • Teresa A. Thomas, Donald F. Stanat
    Pages 324-341
Back to top

Keywords

Bibliographic Information

  • Book Title: Mathematical Foundation of Programming Semantics

  • Book Subtitle: International Conference, Manhattan, Kansas, April 11-12, 1985. Proceedings

  • Editors: Austin Melton

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/3-540-16816-8

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1986

  • Softcover ISBN: 978-3-540-16816-4Published: 01 October 1986

  • eBook ISBN: 978-3-540-44861-7Published: 07 July 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: VIII, 400

  • Topics: Logics and Meanings of Programs

Publish with us

Policies and ethics

Back to top

Search

Navigation