{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,11,11]],"date-time":"2026-11-11T06:28:21Z","timestamp":1794378501715,"version":"4.9.0"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540202233","type":"print"},{"value":"9783540452126","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-45212-6_20","type":"book-chapter","created":{"date-parts":[[2010,6,29]],"date-time":"2010-06-29T16:42:51Z","timestamp":1277829771000},"page":"306-322","source":"Crossref","is-referenced-by-count":24,"title":["Eliminating Stack Overflow by Abstract Interpretation"],"prefix":"10.1007","author":[{"given":"John","family":"Regehr","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alastair","family":"Reid","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Kirk","family":"Webb","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"20_CR1","unstructured":"AbsInt. StackAnalyzer, http:\/\/www.absint.com\/stackanalyzer"},{"key":"20_CR2","doi-asserted-by":"crossref","unstructured":"Ayers, A., Gottlieb, R., Schooler, R.: Aggressive inlining. In: Proc. of Programming Language Design and Implementation, Las Vegas, NV, June 1997, pp. 134\u2013145(1997)","DOI":"10.1145\/258915.258928"},{"key":"20_CR3","doi-asserted-by":"crossref","unstructured":"Brylow, D., Damgaard, N., Palsberg, J.: Static checking of interrupt-driven software. In: Proc. of the 23rd Intl. Conf. on Software Engineering, Toronto, Canada, May 2001, pp. 47\u201356 (2001)","DOI":"10.1109\/ICSE.2001.919080"},{"key":"20_CR4","doi-asserted-by":"crossref","unstructured":"Engblom, J.: Static properties of commercial embedded real-time programs, and their implication for worst-case execution time analysis. In: Proc. of the 5th IEEE Real-Time Technology and Applications Symp., Vancouver, Canada (June 1999)","DOI":"10.1109\/RTTAS.1999.777660"},{"key":"20_CR5","doi-asserted-by":"crossref","unstructured":"Gay, D., Levis, P., von Behren, R., Welsh, M., Brewer, E., Culler, D.: The nesC language: Aholistic approach to networked embedded systems. In: Proc. of Programming Language Design and Implementation, San Diego, CA, June 2003, pp. 1\u201311 (2003)","DOI":"10.1145\/781131.781133"},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"Hill, J., Szewczyk, R., Woo, A., Hollar, S., Culler, D., Pister, K.: System architecture directions for networked sensors. In: Proc. of the 9th Intl. Conf. on Architectural Support for Programming Languages and Operating Systems, Cambridge, MA, November 2000, pp. 93\u2013104 (2000)","DOI":"10.1145\/378993.379006"},{"key":"20_CR7","doi-asserted-by":"crossref","unstructured":"Leupers, R., Marwedel, P.: Function inlining under code size constraints for embedded processors. In: Proc. of the International Conference on Computer-Aided Design, San Jose, CA, November 1999, pp. 253\u2013256 (1999)","DOI":"10.1109\/ICCAD.1999.810657"},{"key":"20_CR8","series-title":"The Java Series","volume-title":"The Java Virtual Machine Specification","author":"T. Lindholm","year":"1997","unstructured":"Lindholm, T., Yellin, F.: The Java Virtual Machine Specification. The Java Series. Addison-Wesley, Reading (1997)"},{"key":"20_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1007\/3-540-45739-9_18","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"J. Palsberg","year":"2002","unstructured":"Palsberg, J., Ma, D.: A typed interrupt calculus. In: Damm, W., Olderog, E.-R. (eds.) FTRTFT 2002. LNCS, vol.\u00a02469, pp. 291\u2013310. Springer, Heidelberg (2002)"},{"key":"20_CR10","unstructured":"The Autopilot Project, http:\/\/autopilot.sourceforge.net"},{"key":"20_CR11","unstructured":"Reid, A., Flatt, M., Stoller, L., Lepreau, J., Eide, E.: Knit: Component composition for systems software. In: Proc. of the 4th Symp. on Operating Systems Design and Implementation, San Diego, CA, October 2000, pp. 347\u2013360(2000)"},{"key":"20_CR12","doi-asserted-by":"crossref","unstructured":"Stephenson, M., Babb, J., Amarasinghe, S.: Bitwidth analysis with application to silicon compilation. In: Proc. of Programming Language Design and Implementation, Vancouver, Canadap, June 2000, pp. 108\u2013120 (2000)","DOI":"10.1145\/349299.349317"}],"container-title":["Lecture Notes in Computer Science","Embedded Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-45212-6_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T11:04:42Z","timestamp":1559214282000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-45212-6_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540202233","9783540452126"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45212-6_20","relation":{"is-part-of":[{"id-type":"doi","id":"https:\/\/doi.org\/10.1007\/b13983","asserted-by":"object"}]},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003]]}}}