An edition of Algebraic approaches to program semantics
(1986)
Algebraic approaches to program semantics
by Ernest G. Manes
Share
×Close
Last edited by r. clayton
August 20, 2015 | History
Defining programming-language semantics algebraically using two approaches based on denotational semantics: order semantics and partially additive semantics.
Check nearby libraries
Buy this book
| Edition | Availability |
|---|---|
1
Algebraic approaches to program semantics
1986, Springer-Verlag
hardcover
in English
0387963243 9780387963242
|
aaaa
|
Book Details
Table of Contents
Part 1. Denotational Semantics of Control
1. An Introduction to Denotational Semantics
2. An Introduction to Category Theory
3. Partially Additive Semantics
4. Assertion Semantics
Part 2. Semantics of Recursion
5. Recursive Specifications
6. Order Semantics of Recursion
7. Canonical Fixed Points
8. Partially Additive Semantics of Recursion
9. Fixed Points in Metric Spaces
Part 3. Data Types
10. Functors
11. Recursive Specification of Data Types
12. Parametric Specification
13. Order Semantics of Data Types
14. Equational Specification
Epilogue
Author Index
Subject Index
Edition Notes
Includes bibliographies and indexes.
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
See All
| August 20, 2015 | Edited by r. clayton | added description |
| December 4, 2010 | Edited by Open Library Bot | Added subjects from MARC records. |
| April 28, 2010 | Edited by Open Library Bot | Linked existing covers to the work. |
| December 10, 2009 | Created by WorkBot | add works page |