Verified compilation of C programs with a nominal memory model.
Yuting WangLing ZhangZhong ShaoJérémie KoenigPublished in: Proc. ACM Program. Lang. (2022)
Keyphrases
- computational model
- management system
- prediction model
- high level
- similarity measure
- formal model
- sensitivity analysis
- cost function
- conceptual model
- machine learning
- mathematical model
- object oriented
- statistical model
- process model
- theoretical framework
- probability distribution
- probabilistic model
- multi agent
- objective function
- learning algorithm