"Bidirectional Grammars for Machine-Code Decoding and Encoding."

Gang Tan, Greg Morrisett (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics