Towards the Verifying Compiler.

Published in: Essays in Memory of Ole-Johan Dahl (2004)

Keyphrases

programming language
general purpose
model checking
highly optimized
software systems
code generation
distributed memory machines
database
social networks
learning algorithm
feature selection
parallel execution