Check nearby libraries
Buy this book
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?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 |