Stock up on textbooks with 40% off + FREE shipping or choose from thousands of Protocols eBooks at just 9.99 each!

Lecture Notes in Computer Science

Mathematical Foundation of Programming Semantics

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

Editors: Melton, Austin (Ed.)

Free Preview

Buy this book

eBook $84.99
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-44861-7
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA in USD
  • ISBN 978-3-540-16816-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (21 chapters)

Table of contents (21 chapters)
  • Standard, storeless semantics for ALGOL-style block structure and call-by-name

    Pages 1-19

    Abdali, S. Kamal (et al.)

  • Cartesian closed categories, quasitopoi and topological universes

    Pages 20-41

    Adámek, Jiří (et al.)

  • Concrete categories and injectivity

    Pages 42-52

    Bargenda, H. (et al.)

  • Fixed points in process algebras with internal actions

    Pages 53-58

    Benson, David B. (et al.)

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

    Pages 59-100

    Brookes, Stephen D.

Buy this book

eBook $84.99
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-44861-7
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA in USD
  • ISBN 978-3-540-16816-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Services for this Book

Recommended for you

Loading...

Bibliographic Information

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
Series Volume
239
Copyright
1986
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-44861-7
DOI
10.1007/3-540-16816-8
Softcover ISBN
978-3-540-16816-4
Series ISSN
0302-9743
Edition Number
1
Number of Pages
VIII, 400
Topics