Predicate Transformer Semantics (Cambridge Tracts in Theoretical Computer Science)

Predicate Transformer Semantics (Cambridge Tracts in Theoretical Computer Science)
Cambridge University Press | 1992-08-28 | ISBN: 0521420369 | 233 pages | DJVU | 2 mb
This book presents a rigorous foundation for defining Boolean categories, in which the relationship between specification and behavior is explored. Boolean categories provide a rich interface between program constructs and techniques familiar from algebra, for instance matrix- or ideal-theoretic methods. The book's distinction is that the approach relies on a single program construct (the first-order theory of categories); others are derived mathematically from four axioms. Development of these axioms (which are obeyed by an abundance of program paradigms) yields Boolean algebras of quot;predicatesquot; loop-free constructs, and a calculus of partial and total correctness, which is shown to be the standard one of Hoare, Dijkstra, Pratt, and Kozen.

[Fast Download] Predicate Transformer Semantics (Cambridge Tracts in Theoretical Computer Science)

Related eBooks:
Focus on Bio-Image Informatics
Practical PostScript. A Guide to Digital Typesetting
How to Get Instagram Likes and Follows for $1!!
The Ugly Fight: Unleashing Artificial Intelligence Against Global Warming
SPSS for Applied Sciences: Basic Statistical Testing
Instant Kendo UI Grid
Cloud Networking for Big Data
Linux für den Eee PC
Implementing DirectAccess with Windows Server 2016
Professional Visual Studio 2010
Sustainability Assessment Tools in Higher Education Institutions: Mapping Trends and Good Practices
Computer Science - CACIC 2017
Copyright Disclaimer:
This site does not store any files on its server. We only index and link to content provided by other sites. Please contact the content providers to delete copyright contents if any and email us, we'll remove relevant links or contents immediately.