External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Bidirectional Grammars for Machine-Code Decoding and Encoding

Gang Tan, Greg Morrisett. Bidirectional Grammars for Machine-Code Decoding and Encoding. In Sandrine Blazy, Marsha Chechik, editors, Verified Software. Theories, Tools, and Experiments - 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers. Volume 9971 of Lecture Notes in Computer Science, pages 73-89, 2016. [doi]

Authors

Gang Tan

This author has not been identified. Look up 'Gang Tan' in Google

Greg Morrisett

This author has not been identified. Look up 'Greg Morrisett' in Google
runs on