"Automated Synthesis of Instruction Codes in the Context of ..."

Andrey Mokhov, Arseniy Alekseyev, Alexandre Yakovlev (2010)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics