Check nearby libraries
Buy this book
Last edited by frstndlstlns
July 1, 2022 | History
Formal description of control, recursion and data structures using two semantic descriptions: denotational and partially additive.
Check nearby libraries
Buy this book
Previews available in: English
Showing 2 featured editions. View all 2 editions?
Edition | Availability |
---|---|
1 |
zzzz
Libraries near you:
WorldCat
|
2
Algebraic Approaches to Program Semantics
1986, Springer New York
electronic resource /
in English
1461293774 9781461293774
|
aaaa
Libraries near you:
WorldCat
|
Book Details
First Sentence
"To specify a programming language we must specify its syntax and semantics."
Table of Contents
Preface
Page vii
Contents
Page xi
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 247
Edition Notes
Online full text is restricted to subscribers.
Also available in print.
Mode of access: World Wide Web.
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?History
- Created June 28, 2019
- 5 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
July 1, 2022 | Edited by frstndlstlns | added toc |
July 1, 2022 | Edited by frstndlstlns | added description |
October 8, 2021 | Edited by ImportBot | import existing book |
October 5, 2021 | Edited by ImportBot | import existing book |
June 28, 2019 | Created by MARC Bot | Imported from Internet Archive item record |