A higher-order logical framework for the algorithmic debugging and verification of declarative programs.

Rafael del Vado Vírseda

Published in: PPDP (2009)

Keyphrases

logical framework
higher order
hardware designs
higher order logic
inference rules
belief revision
reasoning tasks
java programs
pairwise
linear logic
knowledge representation
epistemic logic
novice programmers
normative systems
high level
situation calculus
bayesian networks
formal verification