Compiler validation via equivalence modulo inputs.

Vu Le Mehrdad Afshari Zhendong Su

Published in: PLDI (2014)

Keyphrases

general purpose
programming language
database
neural network
information systems
highly optimized
real time
information retrieval
website
multi agent
software systems
input variables