Foundational certified code in the Twelf metalogical framework.

Karl Crary Susmit Sarkar

Published in: ACM Trans. Comput. Log. (2008)

Keyphrases

main contribution
computational framework
conceptual framework
neural network
data mining
case study
multiscale
multi agent
operating system
bayesian framework