Algebraic Approaches to Program Semantics
By: by Ernest G. Manes, Michael A. Arbib
Contributors: Arbib, Michael A.
Series: Texts and Monographs in Computer Science, The AKM Series in Theoretical Computer Science
Publisher: Springer New York
Published: 1986
Place of publication: New York, NY
Language: eng
Format: [electronic resource] /
Number of pages: 351
ISBN-13: 9781461293774; 9781461249627
Copyright date: 1986
Subjects: Logic design; Computer science; Artificial intelligence
First sentence: To specify a programming language we must specify its syntax and semantics.
Notes: Online full text is restricted to subscribers.

Also available in print.

Mode of access: World Wide Web.
Table of contents: title: Preface
pagenum: vii; title: Contents
pagenum: xi; label: Part 1
title: Denotational Semantics of Control; label: 1
title: An Introduction to Denotational Semantics
pagenum: 3; label: 2
title: An Introduction to Category Theory
pagenum: 38; label: 3
title: Partially Additive Semantics
pagenum: 71; label: 4
title: Assertion Semantics
pagenum: 98; label: Part 2
title: Semantics of Recursion; label: 5
title: Recursive Specifications
pagenum: 119; label: 6
title: Order Semantics of Recursion
pagenum: 146; label: 7
title: Canonical Fixed Points
pagenum: 176; label: 8
title: Partially Additive Semantics of Recursion
pagenum: 180; label: 9
title: Fixed Points in Metric Spaces
pagenum: 210; label: Part 3
title: Data Types; label: 10
title: Functors
pagenum: 235; label: 11
title: Recursive Specification of Data Types
pagenum: 258; label: 12
title: Parametric Specification
pagenum: 279; label: 13
title: Order Semantics of Data Types
pagenum: 293; label: 14
title: Equational Specification
pagenum: 318; title: Epilogue
pagenum: 341; title: Author Index
pagenum: 345; title: Subject Index
pagenum: 247