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

Mathematical Foundation of Programming Semantics

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

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)

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

  1. Front Matter

    PDF

  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

  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

  16. On denotational semantics of data bases

    • Naphtali Rishe
    Pages 249-274

  17. Postconditional semantics of data base queries

    • Naphtali Rishe
    Pages 275-295

  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

Back to top

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

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