{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T16:30:51Z","timestamp":1725553851458},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540343851"},{"type":"electronic","value":"9783540343868"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11758549_103","type":"book-chapter","created":{"date-parts":[[2006,5,9]],"date-time":"2006-05-09T20:50:25Z","timestamp":1147207825000},"page":"765-772","source":"Crossref","is-referenced-by-count":3,"title":["Checking for Deadlock, Double-Free and Other Abuses in the Linux Kernel Source Code"],"prefix":"10.1007","author":[{"given":"Peter T.","family":"Breuer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simon","family":"Pickin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"103_CR1","first-page":"34","volume-title":"Proc. 8\u2019th EuroMicro Workshop on Real Time Systems","author":"P.T. Breuer","year":"1996","unstructured":"Breuer, P.T., Mart\u00ednez Madrid, N., S\u00e1nchez, L., Mar\u00edn, A., Delgado Kloos, C.: A formal method for specification and refinement of real-time systems. In: Proc. 8\u2019th EuroMicro Workshop on Real Time Systems, L\u2019aquilla, Italy, pp. 34\u201342. IEEE Press, Los Alamitos (1996)"},{"issue":"4","key":"103_CR2","doi-asserted-by":"publisher","first-page":"586","DOI":"10.1145\/262004.262007","volume":"19","author":"P.T. Breuer","year":"1997","unstructured":"Breuer, P.T., Delgado Kloos, C., Mart\u00ednez Madrid, N., L\u00f3pez Marin, A., S\u00e1nchez, L.: A Refinement Calculus for the Synthesis of Verified Digital or Analog Hardware Descriptions in VHDL. ACM Transactions on Programming Languages and Systems (TOPLAS)\u00a019(4), 586\u2013616 (1997)","journal-title":"ACM Transactions on Programming Languages and Systems (TOPLAS)"},{"key":"103_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/978-3-540-24841-5_4","volume-title":"Reliable Software Technologies - Ada-Europe 2004","author":"P.T. Breuer","year":"2004","unstructured":"Breuer, P.T., Valls, M.G.: Static Deadlock Detection in the Linux Kernel. In: Llamos\u00ed, A., Strohmeier, A. (eds.) Ada-Europe 2004. LNCS, vol.\u00a03063, pp. 52\u201364. Springer, Heidelberg (2004)"},{"doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Proc. 4th ACM Symp.\u00a0on the Principles of Programming Languages, pp. 238\u2013252 (1977)","key":"103_CR4","DOI":"10.1145\/512950.512973"},{"doi-asserted-by":"crossref","unstructured":"Foster, J.S., F\u00e4hndrich, M., Aiken, A.: A Theory of Type Qualifiers. In: Proc. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 1999), Atlanta, Georgia (May 1999)","key":"103_CR5","DOI":"10.1145\/301618.301665"},{"doi-asserted-by":"crossref","unstructured":"Foster, J.S., Terauchi, T., Aiken, A.: Flow-Sensitive Type Qualifiers. In: Proc. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2002), Berlin, Germany, June 2002, pp. 1\u201312 (2002)","key":"103_CR6","DOI":"10.1145\/512529.512531"},{"unstructured":"Johnson, R., Wagner, D.: Finding User\/Kernel Pointer Bugs With Type Inference. In: Proc. 13th USENIX Security Symposium, San Diego, CA, USA, August 9-13 (2004)","key":"103_CR7"},{"unstructured":"Wagner, D., Foster, J.S., Brewer, E.A., Aiken, A.: A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities. In: Proc. Network and Distributed System Security (NDSS) Symposium, San Diego, CA, USA, February 2-4 (2000)","key":"103_CR8"}],"container-title":["Lecture Notes in Computer Science","Computational Science \u2013 ICCS 2006"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11758549_103","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,13]],"date-time":"2019-03-13T19:54:05Z","timestamp":1552506845000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11758549_103"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540343851","9783540343868"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/11758549_103","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}