Formal modelling and transformations of processor instruction sets.

Andrey Mokhov, Danil Sokolov, Maxim Rykunov, Alex Yakovlev

Browse the full MEMOCODE paper archive.