The School of Squiggol
Book chapter (August 2020)
Logic of Programming and Calculi of Discrete Design
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 An Introduction to the Theory of Lists
-
Altmetric BadgeChapter 2 A heuristic explanation of Batcher’s Baffler
-
Altmetric BadgeChapter 3 Predicative Methodology
-
Altmetric BadgeChapter 4 Termination Conventions and Comparative Semantics
-
Altmetric BadgeChapter 5 Predicative Communications
-
Altmetric BadgeChapter 6 Notes on Logic Programming
-
Altmetric BadgeChapter 7 Program Specification and Verification in VDM
-
Altmetric BadgeChapter 8 Equational Specification of Partial Higher Order Algebras
-
Altmetric BadgeChapter 9 Extreme solutions of equations
-
Altmetric BadgeChapter 10 Logic Based on Programming
-
Altmetric BadgeChapter 11 Algebraic Specifications and Proofs for Communicating Sequential Processes
-
Altmetric BadgeChapter 12 Deduction and Computation
-
Altmetric BadgeChapter 13 Expressing program developments in a design calculus
-
Altmetric BadgeChapter 14 Models and logic of MOS circuits
Attention for Chapter 11:
Algebraic Specifications and Proofs for Communicating Sequential Processes