Calculational semantics
Article in ACM Transactions on Programming Languages and Systems (July 2006)
The most recent citing publication is shown below. View this citation on Dimensions.
Mathematics of Program Construction
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Implementing Algebraic Dynamic Programming in the Functional and the Imperative Programming Paradigm
-
Altmetric BadgeChapter 2 Some Results in Dynamic Model Theory
-
Altmetric BadgeChapter 3 Mathematics in Computer Science Curricula
-
Altmetric BadgeChapter 4 Logical Relations and Galois Connections
-
Altmetric BadgeChapter 5 Transformational Derivation of Greedy Network Algorithms from Descriptive Specifications
-
Altmetric BadgeChapter 6 Fine Control of Demand in Haskell
-
Altmetric BadgeChapter 7 Reasoning about Timeouts
-
Altmetric BadgeChapter 8 Eternity Variables to Simulate Specifications
-
Altmetric BadgeChapter 9 Constructing Tournament Representations: An Exercise in Pointwise Relational Programming
-
Altmetric BadgeChapter 10 Type-Indexed Data Types
-
Altmetric BadgeChapter 11 Verification of Java’s AbstractCollection Class: A Case Study
-
Altmetric BadgeChapter 12 Solving Regular Path Queries
-
Altmetric BadgeChapter 13 Inverting Functions as Folds
-
Altmetric BadgeChapter 14 From Kleene Algebra to Refinement Algebra