A Completely Verified Realistic Bootstrap Compiler.

Axel Dold Friedrich W. von Henke Wolfgang Goerigk

Published in: Int. J. Found. Comput. Sci. (2003)

Keyphrases

real life
real world
database
software systems
cross validation
programming language
data sets
real time
databases
knowledge base
constraint programming