{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:15:59Z","timestamp":1763468159835,"version":"3.40.3"},"publisher-location":"Cham","reference-count":10,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319035413"},{"type":"electronic","value":"9783319035420"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-319-03542-0_15","type":"book-chapter","created":{"date-parts":[[2013,12,9]],"date-time":"2013-12-09T16:31:54Z","timestamp":1386606714000},"page":"209-216","source":"Crossref","is-referenced-by-count":7,"title":["GDSL: A Universal Toolkit for Giving Semantics to Machine Language"],"prefix":"10.1007","author":[{"given":"Julian","family":"Kranz","sequence":"first","affiliation":[]},{"given":"Alexander","family":"Sepp","sequence":"additional","affiliation":[]},{"given":"Axel","family":"Simon","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"15_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/978-3-642-22110-1_13","volume-title":"Computer Aided Verification","author":"S. Bardin","year":"2011","unstructured":"Bardin, S., Herrmann, P., Leroux, J., Ly, O., Tabary, R., Vincent, A.: The BINCOA framework for binary code analysis. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol.\u00a06806, pp. 165\u2013170. Springer, Heidelberg (2011)"},{"key":"15_CR2","unstructured":"Intel Corp. xed2 (2012), \n                    http:\/\/www.pintool.org"},{"key":"15_CR3","unstructured":"Cousot, P., Cousot, R.: Static Determination of Dynamic Properties of Programs. In: Robinet, B. (ed.) International Symposium on Programming, Paris, France, pp. 106\u2013130 (April 1976)"},{"key":"15_CR4","unstructured":"Dullien, T., Porst, S.: REIL: A platform-independent intermediate representation of disassembled code for static code analysis. CanSecWest, Canada (2009)"},{"key":"15_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/978-3-642-14052-5_18","volume-title":"Interactive Theorem Proving","author":"A. Fox","year":"2010","unstructured":"Fox, A., Myreen, M.O.: A Trustworthy Monadic Formalization of the ARMv7 Instruction Set Architecture. In: Kaufmann, M., Paulson, L.C. (eds.) ITP 2010. LNCS, vol.\u00a06172, pp. 243\u2013258. Springer, Heidelberg (2010)"},{"key":"15_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1007\/978-3-540-78791-4_3","volume-title":"Compiler Construction","author":"J. Lim","year":"2008","unstructured":"Lim, J., Reps, T.: A System for Generating Static Analyzers for Machine Instructions. In: Hendren, L. (ed.) CC 2008. LNCS, vol.\u00a04959, pp. 36\u201352. Springer, Heidelberg (2008)"},{"issue":"3","key":"15_CR7","doi-asserted-by":"publisher","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. Trans. of Programming Languages and Systems\u00a019(3), 492\u2013524 (1997)","journal-title":"Trans. of Programming Languages and Systems"},{"key":"15_CR8","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, Deauville, France. ENTCS. Springer (September 2012)","DOI":"10.1016\/j.entcs.2012.11.006"},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"Sepp, A., Mihaila, B., Simon, A.: Precise Static Analysis of Binaries by Extracting Relational Information. In: Pinzger, M., Poshyvanyk, D. (eds.) Working Conference on Reverse Engineering, Limerick, Ireland. IEEE Computer Society (October 2011)","DOI":"10.1109\/WCRE.2011.50"},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"Simon, A.: Deriving a Complete Type Inference for Hindley-Milner and Vector Sizes using Expansion. In: Partial Evaluation and Program Manipulation, SIGPLAN, Rome, Italy. ACM (January 2013)","DOI":"10.1145\/2426890.2426895"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-03542-0_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,14]],"date-time":"2023-02-14T09:16:00Z","timestamp":1676366160000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-03542-0_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783319035413","9783319035420"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-03542-0_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}