Secure Microkernels, State Monads and Scalable Refinement.

David Cock Gerwin Klein Thomas Sewell

Published in: TPHOLs (2008)

Keyphrases

lightweight
web scale
neural network
machine learning
artificial intelligence
information systems
expert systems
evolutionary algorithm
security requirements
memory efficient
refinement process