Program analysis for compiler validation.

Anna Zaks Amir Pnueli

Published in: PASTE (2008)

Keyphrases

programming language
general purpose
information systems
relational databases
database management systems
software systems
neural network
real world
artificial intelligence
database systems
distributed memory machines