An edition of Algebraic approaches to program semantics
(1986)
Algebraic approaches to program semantics
by Ernest G. Manes
Share
×Close
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
History
- Created April 1, 2008
- 10 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| December 11, 2022 | Edited by MARC Bot | import existing book |
| November 4, 2020 | Edited by MARC Bot | import existing book |
| March 10, 2019 | Edited by ImportBot | import existing book |
| August 20, 2015 | Edited by r. clayton | Added new cover |
| April 1, 2008 | Created by an anonymous user | Imported from Scriblio MARC record |