Research Catalog

Predicate transformer semantics

Title
Predicate transformer semantics / Ernest G. Manes.
Author
Manes, Ernest G., 1943-
Publication
Cambridge ; New York : Cambridge University Press, 1992.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextUse in library QA76.7 .M342 1992Off-site

Details

Description
223 pages : illustrations; 26 cm
Series Statement
Cambridge tracts in theoretical computer science ; 33
Uniform Title
Cambridge tracts in theoretical computer science ; 33.
Subject
  • Programming languages (Electronic computers) > Semantics
  • Computer science > Mathematics
  • Formale Semantik
  • Programmierung
  • Fundamentele informatica
  • Categorieën (wiskunde)
  • Langages de programmation > Sémantique
  • Programmation (mathématiques)
Bibliography (note)
  • Includes bibliographical references (p. 216-220) and index.
Contents
pt. I. Finite Coproducts. 1. Fundamental Frameworks. 2. Natural Choice Operators. 3. Polymorphic Iterates -- pt. II. Structure of a Boolean Category. 4. The Axioms. 5. The Boolean Algebra of Summands. 6. Null and Total Morphisms. 7. Preadditive Categories. 8. Projections and Guards. 9. Hoare Assertions and while-do. 10. Predicate Transformers -- pt. III. Metatheory. 11. Representations by Relations. 12. Deterministic Morphisms. 13. Completion and Duality. 14. Equations for 3-valued if-then-else -- pt. IV. Distributive Categories. 15. Atomic Morphisms. 16. Boolean Monads.
ISBN
  • 9780521420365
  • 0521420369
  • 0521420369 (canceled/invalid)
LCCN
92249094
OCLC
  • ocm27085616
  • 27085616
  • SCSB-1995602
Owning Institutions
Princeton University Library