Linear capabilities for fully abstract compilation of separation-logic-verified code.
Thomas Van StrydonckFrank PiessensDominique DevriesePublished in: Proc. ACM Program. Lang. (2019)
Keyphrases
- programs written
- code generation
- high level
- modal logic
- logic programming
- linear model
- logical operations
- low level
- source code
- higher level
- closed form
- linear systems
- shift register
- propositional dynamic logic
- genetic algorithm
- instruction scheduling
- multi valued
- automated reasoning
- temporal logic
- information systems