To Run What No One Has Run Before: Executing an Intermediate Verification Language.

Nadia Polikarpova Carlo A. Furia Scott West

Published in: RV (2013)

Keyphrases

language learning
decision trees
face recognition
search algorithm
natural language
evolutionary algorithm
software engineering
programming language