{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:13:02Z","timestamp":1725484382002},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540441656"},{"type":"electronic","value":"9783540457398"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45739-9_18","type":"book-chapter","created":{"date-parts":[[2007,5,16]],"date-time":"2007-05-16T02:42:01Z","timestamp":1179283321000},"page":"291-310","source":"Crossref","is-referenced-by-count":15,"title":["A Typed Interrupt Calculus"],"prefix":"10.1007","author":[{"given":"Jens","family":"Palsberg","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Di","family":"Ma","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,10,4]]},"reference":[{"key":"18_CR1","doi-asserted-by":"crossref","unstructured":"Mart\u00edn Abadi and Luca Cardelli. A Theory of Objects. Springer-Verlag, 1996.","DOI":"10.1007\/978-1-4419-8598-9"},{"key":"18_CR2","volume-title":"The Lambda Calculus: Its Syntax and Semantics","author":"H. P. Barendregt","year":"1981","unstructured":"Henk P. Barendregt. The Lambda Calculus: Its Syntax and Semantics. North-Holland, Amsterdam, 1981."},{"key":"18_CR3","doi-asserted-by":"crossref","unstructured":"Dennis Brylow, Niels Damgaard, and Jens Palsberg. Static checking of interrupt-driven software. In Proceedings of ICSE\u201901, 23rd International Conference on Software Engineering, pages 47\u201356, Toronto, May 2001.","DOI":"10.1109\/ICSE.2001.919080"},{"key":"18_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/BFb0053547","volume-title":"Proceedings of Foundations of Software Science and Computation Structures","author":"L. Cardelli","year":"1998","unstructured":"Luca Cardelli and Andrew D. Gordon. Mobile ambients. In M. Nivat, editor, Proceedings of Foundations of Software Science and Computation Structures, pages 140\u2013155. Springer-Verlag (LNCS 1378), 1998."},{"key":"18_CR5","unstructured":"M. Coppo, M. Dezani-Ciancaglini, and B. Venneri. Principal type schemes and lambda-calculus semantics. In J. Seldin and J. Hindley, editors, To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, pages 535\u2013560. Academic Press, 1980."},{"key":"18_CR6","doi-asserted-by":"publisher","first-page":"470","DOI":"10.1007\/BF01211394","volume":"4","author":"J. R. Hindley","year":"1991","unstructured":"J. Roger Hindley. Types with intersection: An introduction. Formal Aspects of Computing, 4:470\u2013486, 1991.","journal-title":"Formal Aspects of Computing"},{"key":"18_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communicating Systems","author":"R. Milner","year":"1980","unstructured":"R. Milner. A Calculus of Communicating Systems. Springer-Verlag (LNCS 92), 1980."},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"Robin Milner, Joachim Parrow, and David Walker. A calculus of mobile processes, part I\/II. Information and Compuation, 100(1):1\u201377, September 1992.","DOI":"10.1016\/0890-5401(92)90008-4"},{"key":"18_CR9","doi-asserted-by":"crossref","unstructured":"Mayur Naik and Jens Palsberg. Compiling with code-size constraints. In LCTES\u201902, Languages, Compilers, and Tools for Embedded Systems joint with SCOPES\u201902, Software and Compilers for Embedded Systems, June 2002.","DOI":"10.1145\/513829.513851"},{"key":"18_CR10","doi-asserted-by":"crossref","unstructured":"Jens Palsberg. Type-based analysis and applications. In Proceedings of PASTE\u201901, ACM Workshop on Program Analysis for Software Tools, pages 20\u201327, June 2001.","DOI":"10.1145\/379605.379635"},{"issue":"3","key":"18_CR11","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1017\/S095679680100394X","volume":"11","author":"Jens Palsberg and Christina Pavlopoulou","year":"2001","unstructured":"Jens Palsberg and Christina Pavlopoulou. From polyvariant flow information to intersection and union types. Journal of Functional Programming, 11(3):263\u2013317, May 2001.","journal-title":"Journal of Functional Programming"},{"key":"18_CR12","unstructured":"Jens Palsberg and Matthew Wallace. Reverse engineering of real-time assembly code. Manuscript, 2002."},{"key":"18_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"22","DOI":"10.1007\/978-3-540-45099-3_2","volume-title":"Proceedings of SAS\u201900, International Static Analysis Symposium","author":"A. Podelski","year":"2000","unstructured":"Andreas Podelski. Model checking as constraint solving. In Proceedings of SAS\u201900, International Static Analysis Symposium, pages 22\u201337. Springer-Verlag (LNCS 1824), 2000."},{"key":"18_CR14","unstructured":"Wayne Wolf. Computers as Components, Principles of Embedded Computing System Design. Morgan Kaufman Publishers, 2000."}],"container-title":["Lecture Notes in Computer Science","Formal Techniques in Real-Time and Fault-Tolerant Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45739-9_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T00:54:49Z","timestamp":1556412889000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45739-9_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540441656","9783540457398"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-45739-9_18","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}