Login / Signup
Precise reasoning for programs using containers.
Isil Dillig
Thomas Dillig
Alex Aiken
Published in:
POPL (2011)
Keyphrases
</>
reasoning systems
knowledge base
knowledge representation
computer programs
automated reasoning
reasoning process
reasoning tasks
consistency checking
meta level
logical reasoning
information systems
model based reasoning
reasoning problems
rule based reasoning