Specifying, Programming and Verifying with Equational Logic.
Joseph A. GoguenKai LinPublished in: We Will Show Them! (2) (2005)
Keyphrases
- theorem proving
- horn clauses
- programming language
- automated reasoning
- logic programming
- development environment
- programming environment
- equational theories
- lattice theory
- verification method
- computational properties
- classical logic
- multi valued
- modal logic
- object oriented programming
- predicate logic
- asynchronous circuits
- delay insensitive
- genetic algorithm
- proof theory
- model checking
- programming environments
- website
- concurrent programming
- artificial intelligence