{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T02:49:14Z","timestamp":1725504554269},"publisher-location":"Berlin, Heidelberg","reference-count":4,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540781622"},{"type":"electronic","value":"9783540781639"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-78163-9_4","type":"book-chapter","created":{"date-parts":[[2008,2,29]],"date-time":"2008-02-29T05:30:06Z","timestamp":1204263006000},"page":"6-6","source":"Crossref","is-referenced-by-count":0,"title":["Verification of Register Allocators"],"prefix":"10.1007","author":[{"given":"Jens","family":"Palsberg","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"Naik, M., Palsberg, J.: Correctness of ILP-based register allocation (2004)"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Nandivada, V.K., Pereira, F.M.Q., Palsberg, J.: A framework for end-to-end verification and evaluation of register allocators. In: Proceedings of SAS\u201907, International Static Analysis Symposium, Kongens Lyngby, Denmark, August 2007, pp. 153\u2013169 (2007)","DOI":"10.1007\/978-3-540-74061-2_10"},{"issue":"1\u20133","key":"4_CR3","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1016\/j.scico.2004.01.005","volume":"50","author":"A. Ohori","year":"2004","unstructured":"Ohori, A.: Register allocation by proof transformation. Science of Computer Programming\u00a050(1\u20133), 161\u2013187 (2004)","journal-title":"Science of Computer Programming"},{"key":"4_CR4","unstructured":"Pereira, F.M.Q., Palsberg, J.: Register allocation by puzzle solving (2007), \n                  \n                    http:\/\/compilers.cs.ucla.edu\/fernando\/projects\/puzzles"}],"container-title":["Lecture Notes in Computer Science","Verification, Model Checking, and Abstract Interpretation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-78163-9_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:00:37Z","timestamp":1619506837000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-78163-9_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540781622","9783540781639"],"references-count":4,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-78163-9_4","relation":{},"subject":[]}}