Linear capabilities for fully abstract compilation of separation-logic-verified code.
Thomas Van StrydonckFrank PiessensDominique DevriesePublished in: J. Funct. Program. (2021)
Keyphrases
- programs written
- code generation
- logic programming
- modal logic
- classical logic
- source code
- linear systems
- higher level
- closed form
- propositional dynamic logic
- knowledge compilation
- high level
- neural network
- software development
- linear constraints
- knowledge representation
- low level
- predicate logic
- database systems
- asynchronous circuits
- case study