{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,28]],"date-time":"2025-05-28T05:09:53Z","timestamp":1748408993736,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540403258"},{"type":"electronic","value":"9783540448983"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-44898-5_7","type":"book-chapter","created":{"date-parts":[[2007,11,11]],"date-time":"2007-11-11T03:21:25Z","timestamp":1194751285000},"page":"109-126","source":"Crossref","is-referenced-by-count":18,"title":["Stack Size Analysis for Interrupt-Driven Programs"],"prefix":"10.1007","author":[{"given":"Krishnendu","family":"Chatterjee","sequence":"first","affiliation":[]},{"given":"Di","family":"Ma","sequence":"additional","affiliation":[]},{"given":"Rupak","family":"Majumdar","sequence":"additional","affiliation":[]},{"given":"Tian","family":"Zhao","sequence":"additional","affiliation":[]},{"given":"Thomas A.","family":"Henzinger","sequence":"additional","affiliation":[]},{"given":"Jens","family":"Palsberg","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,5,13]]},"reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"D. Brylow, N. Damgaard, and J. Palsberg. Static checking of interrupt-driven software. In ICSE: International Conference on Software Engineering, pp. 47\u201356. ACM\/IEEE, 2001.","DOI":"10.1109\/ICSE.2001.919080"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"J. Hughes, L. Pareto, and A. Sabry. Proving the correctness of reactive systems using sized types. In POPL: Principles of Programming Languages, pp. 410\u2013423. ACM, 1996.","DOI":"10.1145\/237721.240882"},{"key":"7_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1007\/3-540-45739-9_18","volume-title":"FTRTFT: Formal Techniques in Real-Time and Fault-tolerant Systems","author":"J. Palsberg","year":"2002","unstructured":"J. Palsberg and D. Ma. A typed interrupt calculus. In FTRTFT: Formal Techniques in Real-Time and Fault-tolerant Systems, LNCS 2469, pp. 291\u2013310. Springer, 2002."},{"key":"7_CR4","unstructured":"C. Papadimitriou. Computational Complexity. Addision-Wesley, 1994."},{"key":"7_CR5","unstructured":"L. Pareto. Types for Crash Prevention. PhD thesis, Chalmers University of Technology, 2000."},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"T. Reps, S. Horwitz, and M. Sagiv. Precise interprocedural dataflow analysis via graph reachability. In POPL: Principles of Programming Languages, pp. 49\u201361. ACM, 1995.","DOI":"10.1145\/199448.199462"},{"key":"7_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/3-540-45587-6_11","volume-title":"PADL: Practical Aspects of Declarative Languages","author":"Z. Wan","year":"2002","unstructured":"Z. Wan, W. Taha, and P. Hudak. Event-driven FRP. In PADL: Practical Aspects of Declarative Languages, LNCS 2257, pp. 155\u2013172. Springer, 2002."},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"M. Yannakakis. Graph-theoretic methods in database theory. In PODS: Principles of Database Systems, pp. 203\u2013242. ACM, 1990.","DOI":"10.1145\/298514.298576"}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44898-5_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,22]],"date-time":"2025-01-22T06:25:43Z","timestamp":1737527143000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44898-5_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540403258","9783540448983"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-44898-5_7","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}