Hoare Logic in the Abstract.

Ursula Martin Erik Arne Mathiesen Paulo Oliva

Published in: CSL (2006)

Keyphrases

logic programming
modal logic
automated reasoning
propositional dynamic logic
database
databases
multi valued
classical logic
predicate logic
asynchronous circuits
logic synthesis
neural network
search engine
decision trees
low level
computational properties