An edition of Algebraic approaches to program semantics
(1986)
Algebraic approaches to program semantics
by Ernest G. Manes
- 0 Ratings
- 0 Want to read
- 0 Currently reading
- 0 Have read
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
Showing 1 featured edition. View all 1 editions?
| Edition | Availability |
|---|---|
1
Algebraic approaches to program semantics
1986, Springer-Verlag
hardcover
in English
0387963243 9780387963242
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Table of Contents
Part 1.
Denotational Semantics of Control
1.
An Introduction to Denotational Semantics
Page 3
2.
An Introduction to Category Theory
Page 38
3.
Partially Additive Semantics
Page 71
4.
Assertion Semantics
Page 98
Part 2.
Semantics of Recursion
5.
Recursive Specifications
Page 119
6.
Order Semantics of Recursion
Page 146
7.
Canonical Fixed Points
Page 176
8.
Partially Additive Semantics of Recursion
Page 180
9.
Fixed Points in Metric Spaces
Page 210
Part 3.
Data Types
10.
Functors
Page 235
11.
Recursive Specification of Data Types
Page 258
12.
Parametric Specification
Page 279
13.
Order Semantics of Data Types
Page 293
14.
Equational Specification
Page 318
Epilogue
Page 341
Author Index
Page 345
Subject Index
Page 347
Edition Notes
Includes bibliographies and indexes.
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?
| 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 |