{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,11,11]],"date-time":"2026-11-11T07:11:38Z","timestamp":1794381098288,"version":"4.9.0"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540227915","type":"print"},{"value":"9783540278641","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-27864-1_15","type":"book-chapter","created":{"date-parts":[[2010,9,16]],"date-time":"2010-09-16T12:35:37Z","timestamp":1284640537000},"page":"181-196","source":"Crossref","is-referenced-by-count":7,"title":["Abstract Interpretation of Combinational Asynchronous Circuits"],"prefix":"10.1007","author":[{"given":"Sarah","family":"Thompson","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alan","family":"Mycroft","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"15_CR1","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1145\/512950.512973","volume-title":"Conference Record of the Fourth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","author":"P. Cousot","year":"1977","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Conference Record of the Fourth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Los Angeles, California, pp. 238\u2013252. ACM Press, New York (1977)"},{"key":"15_CR2","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1145\/567752.567778","volume-title":"Conference Record of the Sixth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","author":"P. Cousot","year":"1979","unstructured":"Cousot, P., Cousot, R.: Systematic design of program analysis frameworks. In: Conference Record of the Sixth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Antonio, Texas, pp. 269\u2013282. ACM Press, New York (1979)"},{"key":"15_CR3","unstructured":"Cunningham, P.A.: Verification of Asynchronous Circuits. PhD thesis, University of Cambridge (2002)"},{"key":"15_CR4","unstructured":"Gaubatz, D.A.: Logic Programming Analysis of Asynchronous Digital Circuits. PhD thesis, University of Cambridge (1991)"},{"key":"15_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/3-540-36384-X_14","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"R. Giacobazzi","year":"2002","unstructured":"Giacobazzi, R., Mastroeni, I.: Domain compression for complete abstractions. In: Zuck, L.D., Attie, P.C., Cortesi, A., Mukhopadhyay, S. (eds.) VMCAI 2003. LNCS, vol.\u00a02575, pp. 146\u2013160. Springer, Heidelberg (2002)"},{"key":"15_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1007\/BFb0000474","volume-title":"Algebraic Methodology and Software Technology","author":"R. Giacobazzi","year":"1997","unstructured":"Giacobazzi, R., Ranzato, F.: Completeness in abstract interpretation: A domain perspective. In: Johnson, M. (ed.) AMAST 1997. LNCS, vol.\u00a01349, pp. 231\u2013245. Springer, Heidelberg (1997)"},{"key":"15_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"771","DOI":"10.1007\/3-540-63165-8_230","volume-title":"Automata, Languages and Programming","author":"R. Giacobazzi","year":"1997","unstructured":"Giacobazzi, R., Ranzato, F.: Refining and compressing abstract domains. In: Degano, P., Gorrieri, R., Marchetti-Spaccamela, A. (eds.) ICALP 1997. LNCS, vol.\u00a01256, pp. 771\u2013781. Springer, Heidelberg (1997)"},{"issue":"2","key":"15_CR8","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1145\/333979.333989","volume":"47","author":"R. Giacobazzi","year":"2000","unstructured":"Giacobazzi, R., Ranzato, F., Scozzari, F.: Making abstract interpretations complete. Journal of the ACM\u00a047(2), 361\u2013416 (2000)","journal-title":"Journal of the ACM"},{"key":"15_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"444","DOI":"10.1007\/3-540-45789-5_31","volume-title":"Static Analysis","author":"C. Hymans","year":"2002","unstructured":"Hymans, C.: Checking safety properties of behavioral VHDL descriptions by abstract interpretation. In: Hermenegildo, M.V., Puebla, G. (eds.) SAS 2002. LNCS, vol.\u00a02477, pp. 444\u2013460. Springer, Heidelberg (2002)"},{"key":"15_CR10","first-page":"185","volume-title":"21st Symposium on Foundations of Computer Science","author":"N.D. Jones","year":"1980","unstructured":"Jones, N.D., Muchnick, S.: Complexity of flow analysis, inductive assertion synthesis, and a language due to Dijkstra. In: 21st Symposium on Foundations of Computer Science, pp. 185\u2013190. IEEE, Los Alamitos (1980)"},{"key":"15_CR11","unstructured":"Morelli, Coralled, G.: Get hold of wire delays. Electronic Design News, 37\u201346, September 25 (2003)"},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"Mycroft, A.: Completeness and predicate-based abstract interpretation. In: Proc. ACM conf. on Partial Evaluation and Program Manipulation, pp. 179\u2013185 (2003)","DOI":"10.1145\/154630.154648"},{"key":"15_CR13","unstructured":"Thompson, S., Mycroft, A.: Sliding window logic simulation. In: 15th UK Asynchronous Forum, Cambridge (2004)"}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-27864-1_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,25]],"date-time":"2025-02-25T16:49:14Z","timestamp":1740502154000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27864-1_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540227915","9783540278641"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27864-1_15","relation":{"is-part-of":[{"id-type":"doi","id":"https:\/\/doi.org\/10.1007\/b99688","asserted-by":"object"}]},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004]]}}}