@article{TanM18Jar,
  author    = {Gang Tan and Greg Morrisett},
  title     = {Bidirectional Grammars for Machine-Code Decoding and Encoding},
  journal   = {Journal of Automated Reasoning},
  year="2018",
  month="Mar",
  day="01",
  volume="60",
  number="3",
  pages="257--277",
  url_Paper = {http://www.cse.psu.edu/~gxt29/papers/bigrammar_jar.pdf},
  keywords = {Formal Methods -> Parser Assurance}
}

{"_id":"E73rDPARsKvueobJt","bibbaseid":"tan-morrisett-bidirectionalgrammarsformachinecodedecodingandencoding-2018","downloads":2,"creationDate":"2018-06-29T13:38:27.068Z","title":"Bidirectional Grammars for Machine-Code Decoding and Encoding","author_short":["Tan, G.","Morrisett, G."],"year":2018,"bibtype":"article","biburl":"https://raw.githubusercontent.com/gangtan/gtanbib/main/mypapers.bib","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Gang"],"propositions":[],"lastnames":["Tan"],"suffixes":[]},{"firstnames":["Greg"],"propositions":[],"lastnames":["Morrisett"],"suffixes":[]}],"title":"Bidirectional Grammars for Machine-Code Decoding and Encoding","journal":"Journal of Automated Reasoning","year":"2018","month":"Mar","day":"01","volume":"60","number":"3","pages":"257–277","url_paper":"http://www.cse.psu.edu/~gxt29/papers/bigrammar_jar.pdf","keywords":"Formal Methods -> Parser Assurance","bibtex":"@article{TanM18Jar,\n author = {Gang Tan and Greg Morrisett},\n title = {Bidirectional Grammars for Machine-Code Decoding and Encoding},\n journal = {Journal of Automated Reasoning},\n year=\"2018\",\n month=\"Mar\",\n day=\"01\",\n volume=\"60\",\n number=\"3\",\n pages=\"257--277\",\n url_Paper = {http://www.cse.psu.edu/~gxt29/papers/bigrammar_jar.pdf},\n keywords = {Formal Methods -> Parser Assurance}\n}\n\n","author_short":["Tan, G.","Morrisett, G."],"key":"TanM18Jar","id":"TanM18Jar","bibbaseid":"tan-morrisett-bidirectionalgrammarsformachinecodedecodingandencoding-2018","role":"author","urls":{" paper":"http://www.cse.psu.edu/~gxt29/papers/bigrammar_jar.pdf"},"keyword":["Formal Methods -> Parser Assurance"],"metadata":{"authorlinks":{"tan, g":"https://www.cse.psu.edu/~gxt29/sos/publications.html"}},"downloads":2,"html":""},"search_terms":["bidirectional","grammars","machine","code","decoding","encoding","tan","morrisett"],"keywords":["formal methods -> parser assurance"],"authorIDs":["G4h3agvfzsvS65YBg"],"dataSources":["HGP9Lqns6p9cZGdvN","qbRxtdgQ5NSdrSiX3"]}