Experience report: a do-it-yourself high-assurance compiler.

Lee Pike Nis Wegmann Sebastian Niller Alwyn Goodloe

Published in: ICFP (2012)

Keyphrases

high assurance
software systems
operating system
distributed systems
fault tolerant
general purpose
access control
programming language
neural network
multi agent
multiscale
data sets
information systems
artificial intelligence
machine learning
data mining
real world
personal experiences