A Realizability Model for Impredicative Hoare Type Theory.
Rasmus Lerchedahl PetersenLars BirkedalAleksandar NanevskiGreg MorrisettPublished in: ESOP (2008)
Keyphrases
- computational model
- theoretical framework
- conceptual framework
- formal model
- theoretical foundation
- mathematical model
- mathematical framework
- agent model
- statistical model
- theoretical analysis
- management system
- probability distribution
- probabilistic model
- process model
- high level
- computational models
- simulation model
- object model
- network model
- multi agent
- bayesian networks