Towards the Verifying Compiler.

Published in: 10th Anniversary Colloquium of UNU/IIST (2002)

Keyphrases

programming language
model checking
general purpose
highly optimized
distributed memory machines
real time
databases
machine learning
decision making
image processing
relational databases
operating system
software systems
parallel programming
parallel execution