From Program to Logic: An Introduction.

Patrice Godefroid Shuvendu K. Lahiri

Published in: LASER Summer School (2011)

Keyphrases

logic programming
predicate logic
functional programs
test cases
multi valued
classical logic
epistemic logic
program execution
declarative semantics
neural network
model checking
modal logic
programming environment
nonmonotonic logics
asynchronous circuits