Calculational semantics: Deriving programming theories from equations by functional predicate calculus.

Raymond T. Boute

Published in: ACM Trans. Program. Lang. Syst. (2006)

Keyphrases

predicate calculus
theorem proving
first order logic
semantic network
formal model
predicate logic
lambda calculus
programming language
theorem prover
semantic net
proof procedure
automated reasoning
functional language
general purpose
euler lagrange
program understanding
inference rules
expressive power