Programs from Proofs: A Framework for the Safe Execution of Untrusted Software.

Marie-Christine Jakobs Heike Wehrheim

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

Keyphrases

main contribution
probabilistic model
theoretical framework
software architecture
database
case study
software engineering
source code
lightweight
software systems
process model
analysis tool
control flow
free software