Weakest Precondition Synthesis for Compiler Optimizations.

Nuno P. Lopes José Monteiro

Published in: VMCAI (2014)

Keyphrases

general purpose
programming language
program synthesis
distributed memory machines
information retrieval
genetic algorithm
computer vision
texture synthesis
artificial intelligence
information systems
software systems
optimization strategies