Reasoning about iterators with separation logic.
Neelakantan R. KrishnaswamiPublished in: SAVCBS@FSE (2006)
Keyphrases
- formal theory
- modal operators
- modal logic
- proof theory
- automated reasoning
- qualitative reasoning
- databases
- sound and complete axiomatization
- probabilistic knowledge
- predicate logic
- classical logic
- logic programming
- real time
- multi valued
- computational properties
- digital circuits
- spatial reasoning
- temporal logic
- artificial intelligence
- learning algorithm