Natural proofs for data structure manipulation in C using separation logic.
Edgar PekXiaokang QiuP. MadhusudanPublished in: PLDI (2014)
Keyphrases
- data structure
- cut elimination
- natural deduction
- sequent calculus
- modal logic
- logic programming
- proof search
- multi valued
- linear logic
- asynchronous circuits
- theorem prover
- epistemic logic
- space efficient
- formal proofs
- efficient data structures
- man made
- theorem proving
- predicate logic
- hierarchical structures
- logical framework
- probabilistic logic
- computer algebra
- inverted index
- data types
- multiresolution