Towards Rigorous Compiler Implementation Verification.

Wolfgang Goerigk Friedemann H. Simon

Published in: Collaboration between Human and Artificial Societies (1999)

Keyphrases

implementation issues
highly optimized
programming language
databases
general purpose
operating system
java bytecode
real time
data mining
artificial intelligence
website
multi agent
expert systems
implementation details