A Logical Framework for Program Analysis.

Geoffrey L. Burn

Published in: Functional Programming (1992)

Keyphrases

logical framework
inference rules
belief revision
reasoning tasks
epistemic logic
possibilistic logic
normative systems
linear logic
higher order logic
artificial intelligence
optimal solution
dynamic programming
state space
multi dimensional
constraint satisfaction problems
coalition logic