Invariant Relations: A Bridge from Programs to Equations
Preprint in arXiv (October 2023)
Relational Methods in Computer Science
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Background Material
-
Altmetric BadgeChapter 2 Relation Algebras
-
Altmetric BadgeChapter 3 Heterogeneous Relation Algebra
-
Altmetric BadgeChapter 4 Fork Algebras
-
Altmetric BadgeChapter 5 Relation Algebra and Modal Logics
-
Altmetric BadgeChapter 6 Relational Formalisation of Nonclassical Logics
-
Altmetric BadgeChapter 7 Linear Logic
-
Altmetric BadgeChapter 8 Relational Semantics of Functional Programs
-
Altmetric BadgeChapter 9 Algorithms from Relational Specifications
-
Altmetric BadgeChapter 10 Programs and Datatypes
-
Altmetric BadgeChapter 11 Refinement and Demonic Semantics
-
Altmetric BadgeChapter 12 Tabular Representations in Relational Documents
-
Altmetric BadgeChapter 13 Databases
-
Altmetric BadgeChapter 14 Logic, Language, and Information
-
Altmetric BadgeChapter 15 Natural Language