{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:09:50Z","timestamp":1725664190354},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540584858"},{"type":"electronic","value":"9783540490050"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58485-4_52","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:27:36Z","timestamp":1330255656000},"page":"363-379","source":"Crossref","is-referenced-by-count":3,"title":["Abstract interpretation using TDGs"],"prefix":"10.1007","author":[{"given":"Laurent","family":"Mauborgne","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"23_CR1","first-page":"305","volume":"57","author":"C. E. Shannon","year":"1938","unstructured":"C. E. Shannon. A symbolic analysis of relay and switching circuits. Transactions AIEE, 57:305\u2013316. 1938.","journal-title":"Transactions AIEE"},{"key":"23_CR2","doi-asserted-by":"crossref","unstructured":"P. Cousot & R. Cousot. Static determination of dynamic properties of recursive procedures. IFIP Conference on Formal Description of Programming Concepts, St-Adrews, N. B., Canada, pp. 237\u2013277. 1977.","DOI":"10.1145\/800022.808314"},{"key":"23_CR3","doi-asserted-by":"crossref","unstructured":"S. B. Akers. Binary decision diagrams. IEEE Transactions on computers. 1978.","DOI":"10.1109\/TC.1978.1675141"},{"key":"23_CR4","doi-asserted-by":"crossref","unstructured":"P. Cousot & R. Cousot. Constructive version of Tarki's fixed point theorems. Pacific Journal of Mathematics. 1979.","DOI":"10.2140\/pjm.1979.82.43"},{"key":"23_CR5","doi-asserted-by":"crossref","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"C-35","author":"R. E. Bryant","year":"1986","unstructured":"R. E. Bryant. Graph based algorithms for boolean function manipulation. IEEE Trans. Comput. C-35, pp. 677\u2013691. 1986.","journal-title":"IEEE Trans. Comput."},{"key":"23_CR6","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1016\/0167-6423(86)90010-9","volume":"7","author":"G. L. Burn","year":"1986","unstructured":"G. L. Burn, C. Hankin & S. Abramsky. Strictness analysis for higher-order functions. Science of computer programming 7, pp. 249\u2013278. 1986.","journal-title":"Science of computer programming"},{"key":"23_CR7","doi-asserted-by":"crossref","unstructured":"P. Hudak & J. Young. Higher order strictness analysis in untyped lambda calculus. ACM. 1986.","DOI":"10.1145\/512644.512653"},{"key":"23_CR8","unstructured":"J. P. Billon. Perfect normal forms for discrete programs. Technical report 87039 BULL. 1987."},{"key":"23_CR9","unstructured":"J. C. Madre & J. P. Billon. Proving circuit correctness using formal comparison between expected and extracted behavior. Proc. of the 25th DAC. 1988"},{"key":"23_CR10","unstructured":"A. R. Brayton, B. Lin & H. J. Touati. Don't care minimization of multi-level sequential logic network. Proc. of ICCAD'90. 1990."},{"key":"23_CR11","unstructured":"J. C. Madre, C. Berthet & O. Coudert. New ideas in symbolic manipulation of finite state machines. Proc. of ICCAD'90. 1990."},{"key":"23_CR12","unstructured":"J. Schwable & K. L. McMillan. Formal verification of the encore gigamax cache. International Symposium on Shared Memory Multiprocessor. 1991."},{"key":"23_CR13","doi-asserted-by":"crossref","unstructured":"D. Taubner, E. Enders & T. Filkorn. Generating BDDs for symbolic model checking in ccs. Proc. of CAV'91, pp. 203\u2013213. 1991.","DOI":"10.1007\/3-540-55179-4_20"},{"key":"23_CR14","unstructured":"H. J. Touati, H. Savoj & R. K. Brayton. Extracting local don't care for network optimization. Proc. of ICCAD'91. 1991."},{"key":"23_CR15","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1145\/136035.136043","volume":"24","author":"R. E. Bryant","year":"1992","unstructured":"R. E. Bryant. Symbolic Boolean Manipulation with Ordered Binary-Decision Diagrams. ACM Computing Surveys, Vol. 24 pp. 293\u2013318. 1992.","journal-title":"ACM Computing Surveys"},{"key":"23_CR16","doi-asserted-by":"crossref","unstructured":"P. Cousot & R. Cousot. Abstract interpretation framework. Journal of logic and computation, pp. 511\u2013547. 1992.","DOI":"10.1093\/logcom\/2.4.511"},{"key":"23_CR17","doi-asserted-by":"crossref","unstructured":"Corsini, Musumbu, Rauzy & Le Charlier Efficient Bottom-up Abstract Interpretation of Logic Programs by means of Constraint Solving. PLILP '93. 1993.","DOI":"10.1007\/3-540-57186-8_72"},{"key":"23_CR18","unstructured":"C. Ratel. D\u00e9finition et r\u00e9alisation d'un outil de v\u00e9rification formelle de programmes LUSTRE. These de l'universit\u00e9 de Grenoble 1, chap 11. 1992."},{"key":"23_CR19","unstructured":"G. Baraki. Abstract Interpretation of Polymorphic Higher-Order Functions. Computing Science research report of the University of Glasgow. 1993."},{"key":"23_CR20","doi-asserted-by":"crossref","unstructured":"A. Ferguson & J. Hughes. Fast Abstract Interpretation Using Sequential Algorithms. Proc. of WSA '93, pp. 45\u201359. 1993.","DOI":"10.1007\/3-540-57264-3_28"}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58485-4_52.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:22:24Z","timestamp":1605630144000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58485-4_52"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540584858","9783540490050"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-58485-4_52","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}