Algebraic approaches to program semantics
By: Ernest G. Manes, Michael A. Arbib.
Contributors: Arbib, Michael A.
Series: The AKM series in theoretical computer science
Publisher: Springer-Verlag
Published: 1986
Place of publication: New York
Language: eng
Format: hardcover
Number of pages: 351
Subjects: Programming languages (Electronic computers) -- Semantics.; Algebra.
Notes: Includes bibliographies and indexes.
Table of contents: title: Denotational Semantics of Control
label: Part 1; label: 1
pagenum: 3
title: An Introduction to Denotational Semantics; label: 2
pagenum: 38
title: An Introduction to Category Theory; label: 3
pagenum: 71
title: Partially Additive Semantics; label: 4
pagenum: 98
title: Assertion Semantics; title: Semantics of Recursion
label: Part 2; label: 5
pagenum: 119
title: Recursive Specifications; label: 6
pagenum: 146
title: Order Semantics of Recursion; label: 7
pagenum: 176
title: Canonical Fixed Points; label: 8
pagenum: 180
title: Partially Additive Semantics of Recursion; label: 9
pagenum: 210
title: Fixed Points in Metric Spaces; title: Data Types
label: Part 3; label: 10
pagenum: 235
title: Functors; label: 11
pagenum: 258
title: Recursive Specification of Data Types; label: 12
pagenum: 279
title: Parametric Specification; label: 13
pagenum: 293
title: Order Semantics of Data Types; label: 14
pagenum: 318
title: Equational Specification; title: Epilogue
pagenum: 341; title: Author Index
pagenum: 345; title: Subject Index
pagenum: 347