Alloy Meets the Algebra of Programming: A Case Study
Article in IEEE Transactions on Software Engineering (February 2013)
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 Integrating Programming, Properties, and Validation
-
Altmetric BadgeChapter 2 Polytypic Values Possess Polykinded Types
-
Altmetric BadgeChapter 3 The Zip Calculus
-
Altmetric BadgeChapter 4 Separation and Reduction
-
Altmetric BadgeChapter 5 Reasoning about Non-terminating Loops Using Deadline Commands
-
Altmetric BadgeChapter 6 Quantum Programming
-
Altmetric BadgeChapter 7 Regular Expressions Revisited: A Coinductive Approach to Streams, Automata, and Power Series
-
Altmetric BadgeChapter 8 Proving Pointer Programs in Hoare Logic
-
Altmetric BadgeChapter 9 On Guarded Commands with Fair Choice
-
Altmetric BadgeChapter 10 Formal Methods and Dependability
-
Altmetric BadgeChapter 11 Mathematics of Program Construction
-
Altmetric BadgeChapter 12 Theorems about Composition
-
Altmetric BadgeChapter 13 The Universal Resolving Algorithm: Inverse Computation in a Functional Language
-
Altmetric BadgeChapter 14 Metacomputation-Based Compiler Architecture
-
Altmetric BadgeChapter 15 A Metalanguage for Programming with Bound Names Modulo Renaming
Attention for Chapter 13:
The Universal Resolving Algorithm: Inverse Computation in a Functional Language