Hoare and He’s Unifying Theories of Programming
Book chapter (October 2021)
The most recent citing publication is shown below. View this citation on Dimensions.
Unifying Theories of Programming
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Unifying Theories of Undefinedness in UTP
-
Altmetric BadgeChapter 2 Unifying Theories of Programming with Monads
-
Altmetric BadgeChapter 3 Circus Time with Reactive Designs
-
Altmetric BadgeChapter 4 Algebra Unifies Operational Calculi
-
Altmetric BadgeChapter 5 A Probabilistic Theory of Designs Based on Distributions
-
Altmetric BadgeChapter 6 The Logic of U ·( TP ) 2
-
Altmetric BadgeChapter 7 Conscriptions: A New Relational Model for Sequential Computations
-
Altmetric BadgeChapter 8 Mechanical Approach to Linking Operational Semantics and Algebraic Semantics for Verilog Using Maude
-
Altmetric BadgeChapter 9 Unifying Operational Semantics with Algebraic Semantics for Instantaneous Reactions
-
Altmetric BadgeChapter 10 Higher-Order UTP for a Theory of Methods
-
Altmetric BadgeChapter 11 Denotational Semantics for a Probabilistic Timed Shared-Variable Language