{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T08:20:10Z","timestamp":1725870010593},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319488684"},{"type":"electronic","value":"9783319488691"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-48869-1_6","type":"book-chapter","created":{"date-parts":[[2016,11,7]],"date-time":"2016-11-07T08:41:52Z","timestamp":1478508112000},"page":"73-89","source":"Crossref","is-referenced-by-count":1,"title":["Bidirectional Grammars for Machine-Code Decoding and Encoding"],"prefix":"10.1007","author":[{"given":"Gang","family":"Tan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Greg","family":"Morrisett","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,11,8]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Alimarine, A., Smetsers, S., van Weelden, A., van Eekelen, M., Plasmeijer, R.: There and back again: arrows for invertible programming. In: Proceedings of the ACM SIGPLAN Workshop on Haskell, pp. 86\u201397 (2005)","DOI":"10.1145\/1088348.1088357"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Bohannon, A., Foster, J.N., Pierce, B.C., Pilkiewicz, A., Schmitt, A.: Boomerang: resourceful lenses for string data. In: 35th ACM Symposium on Principles of Programming Languages (POPL), pp. 407\u2013419 (2008)","DOI":"10.1145\/1328438.1328487"},{"key":"6_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/11601524_2","volume-title":"Database Programming Languages","author":"C Brabrand","year":"2005","unstructured":"Brabrand, C., M\u00f8ller, A., Schwartzbach, M.I.: Dual syntax for XML languages. In: Bierman, G., Koch, C. (eds.) DBPL 2005. LNCS, vol. 3774, pp. 27\u201341. Springer, Heidelberg (2005). doi: 10.1007\/11601524_2"},{"key":"6_CR4","doi-asserted-by":"crossref","first-page":"481","DOI":"10.1145\/321239.321249","volume":"11","author":"JA Brzozowski","year":"1964","unstructured":"Brzozowski, J.A.: Derivatives of regular expressions. J. ACM 11, 481\u2013494 (1964)","journal-title":"J. ACM"},{"key":"6_CR5","unstructured":"Christodorescu, M., Jha, S.: Static analysis of executables to detect malicious patterns. In: 12th Usenix Security Symposium. pp. 169\u2013186 (2003)"},{"key":"6_CR6","unstructured":"The Coq proof assistant. https:\/\/coq.inria.fr\/"},{"key":"6_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/3-540-49099-X_18","volume-title":"Programming Languages and Systems","author":"P Jansson","year":"1999","unstructured":"Jansson, P., Jeuring, J.: Polytypic compact printing and parsing. In: Swierstra, S.D. (ed.) ESOP 1999. LNCS, vol. 1576, pp. 273\u2013287. Springer, Heidelberg (1999). doi: 10.1007\/3-540-49099-X_18"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Kawanaka, S., Hosoya, H.: biXid: a bidirectional transformation language for XML. In: ACM International Conference on Functional Programming (ICFP), pp. 201\u2013214 (2006)","DOI":"10.1145\/1160074.1159830"},{"issue":"6","key":"6_CR9","doi-asserted-by":"crossref","first-page":"727","DOI":"10.1017\/S0956796804005209","volume":"14","author":"A Kennedy","year":"2004","unstructured":"Kennedy, A.: Pickler combinators. J. Funct. Program. 14(6), 727\u2013739 (2004)","journal-title":"J. Funct. Program."},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"Morrisett, G., Tan, G., Tassarotti, J., Tristan, J.B., Gan, E.: Rocksalt: better, faster, stronger SFI for the x86. In: ACM Conference on Programming Language Design and Implementation (PLDI), pp. 395\u2013404 (2012)","DOI":"10.1145\/2254064.2254111"},{"issue":"3","key":"6_CR11","doi-asserted-by":"crossref","first-page":"492","DOI":"10.1145\/256167.256225","volume":"19","author":"N Ramsey","year":"1997","unstructured":"Ramsey, N., Fern\u00e1ndez, M.F.: Specifying representations of machine instructions. ACM Trans. Program. Lang. Syst. 19(3), 492\u2013524 (1997)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"Rendel, T., Ostermann, K.: Invertible syntax descriptions: unifying parsing and pretty printing. In: Proceedings of the Third ACM Haskell Symposium on Haskell, pp. 1\u201312 (2010)","DOI":"10.1145\/1863523.1863525"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"Sepp, A., Kranz, J., Simon, A.: GDSL: a generic decoder specification language for interpreting machine language. In: Tools for Automatic Program Analysis, pp. 53\u201364 (2012)","DOI":"10.1016\/j.entcs.2012.11.006"},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"Song, D., Brumley, D., Yin, H., Caballero, J., Jager, I., Kang, M.G., Liang, Z., Newsome, J., Poosankam, P., Saxena, P.: BitBlaze: a new approach to computer security via binary analysis. In: Proceedings of the 4th International Conference on Information Systems Security (2008)","DOI":"10.1007\/978-3-540-89862-7_1"},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"Wartell, R., Mohan, V., Hamlen, K.W., Lin, Z.: Securing untrusted code via compiler-agnostic binary rewriting. In: Proceedings of the 28th Annual Computer Security Applications Conference, pp. 299\u2013308 (2012)","DOI":"10.1145\/2420950.2420995"},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"Yee, B., Sehr, D., Dardyk, G., Chen, B., Muth, R., Ormandy, T., Okasaka, S., Narula, N., Fullagar, N.: Native client: a sandbox for portable, untrusted x86 native code. In: IEEE Symposium on Security and Privacy (S&P), May 2009","DOI":"10.1109\/SP.2009.25"}],"container-title":["Lecture Notes in Computer Science","Verified Software. Theories, Tools, and Experiments"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-48869-1_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,25]],"date-time":"2017-06-25T02:59:23Z","timestamp":1498359563000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-48869-1_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319488684","9783319488691"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-48869-1_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}