Proof-Directed Parallelization Synthesis by Separation Logic.
Matko BotincanMike DoddsSuresh JagannathanPublished in: ACM Trans. Program. Lang. Syst. (2013)
Keyphrases
- proof theory
- natural deduction
- linear logic
- proof search
- logic synthesis
- theorem prover
- proof theoretic
- cut elimination
- sequent calculi
- theorem proving
- functional programs
- higher order logic
- modal logic
- automated theorem proving
- parallel processing
- logic programming
- automated reasoning
- computer algebra
- sequent calculus
- classical logic
- complete axiomatization
- sound and complete axiomatization
- logical rules
- proof procedure
- program synthesis
- functional language
- conditional logic
- computational properties
- classical first order logic
- default reasoning
- first order logic