Robustly Safe Compilation, an Efficient Form of Secure Compilation.

Marco Patrignani Deepak Garg

Published in: ACM Trans. Program. Lang. Syst. (2021)

Keyphrases

decomposable negation normal form
information systems
knowledge compilation
highly efficient
expert systems
lightweight
code generation