C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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