with the exception of the natural deduction calculus, see below -- only introduction ... integration of $Z$ with the refinement calculus and data refinement. The overall presentation is fluent ... tedious exposition of the natural deduction calculus, which is not used further ... although all necessary notions from the relational calculus are introduced, its algebraic properties...

Featherweight Java: A minimal core calculus for Java and GJ. Several recent studies have introduced ... even assignment) to obtain a small calculus, Featherweight Java, for which rigorous proofs ... similar relation to Java as the lambda-calculus does to languages such...

concurrent programming language based on the situation calculus As an alternative to planning, an approach ... considered. A formal definition in the situation calculus of such a programming language is presented ... user-defined by axioms in the situation calculus. Some mathematical properties of the language...