Bidirectional Grammars for Machine-Code Decoding and Encoding. Tan, G. & Morrisett, G. In 8th International Conference on Verified Software: Theories, Tools, and Experiments (VSTTE), pages 73–89, 2016.
Bidirectional Grammars for Machine-Code Decoding and Encoding [pdf]Paper  bibtex   

Downloads: 0