C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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