{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,4]],"date-time":"2025-01-04T18:40:13Z","timestamp":1736016013808,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540638889"},{"type":"electronic","value":"9783540696612"}],"license":[{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0000468","type":"book-chapter","created":{"date-parts":[[2005,10,5]],"date-time":"2005-10-05T10:30:36Z","timestamp":1128508236000},"page":"138-154","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Abstract interpretation of algebraic polynomial systems (Extended abstract)"],"prefix":"10.1007","author":[{"given":"Patrick","family":"Cousot","sequence":"first","affiliation":[]},{"given":"Radhia","family":"Cousot","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,9,7]]},"reference":[{"key":"10_CR1","unstructured":"A.V. Aho, R. Sethi & J.D. Ullman. Compilers. Principles, Technique and Tools. Addison-Wesley, 1986."},{"key":"10_CR2","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0304-3975(95)00083-6","volume":"160","author":"B. Courcelle","year":"1996","unstructured":"B. Courcelle. The monadic second-order logic of graphs X: Linear orders. TCS, 160:87\u2013143, 1996.","journal-title":"TCS"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"P. Cousot & R. Cousot. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. 4 th ACM POPL, pp. 238\u2013252, 1977.","DOI":"10.1145\/512950.512973"},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"P. Cousot & R. Cousot. Systematic design of program analysis frameworks. 6th ACM POPL, pp. 269\u2013282, 1979.","DOI":"10.1145\/567752.567778"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"P. Cousot & R. Cousot. Inductive definitions, semantics and abstract interpretation. 19th ACM POPL, pp. 83\u201394, 1992.","DOI":"10.1145\/143165.143184"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"P. Cousot & R. Cousot. Higher-order abstract interpretation (and application to comportment analysis generalizing strictness, termination, projection and PER analysis of functional languages), invited paper. Proc. 1994 ICCL, pp. 95\u2013112, 1994. IEEE Comp. Soc. Press.","DOI":"10.1109\/ICCL.1994.288389"},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"P. Cousot and R. Cousot. Formal language, grammar and set-constraint-based program analysis by abstract interpretation. Proc. 7 th ACM FPCA, pp. 170\u2013181, 1995.","DOI":"10.1145\/224164.224199"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"P. Cousot & N. Halbwachs. Automatic discovery of linear restraints among variables of a program. 5 th ACM POPL, pp. 84\u201397, 1978.","DOI":"10.1145\/512760.512770"},{"key":"10_CR9","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1016\/0304-3975(83)90079-8","volume":"26","author":"J.W. Bakker de","year":"1983","unstructured":"J.W. de Bakker, J.-J.Ch. Meyer & J.I. Zucker. On infinite computations in denotational semantics. TCS, 26:53\u201382, 1983. (Corrigendum: TCS 29:229\u2013230, 1984).","journal-title":"TCS"},{"key":"10_CR10","doi-asserted-by":"crossref","first-page":"350","DOI":"10.1145\/321127.321132","volume":"9","author":"S. Ginsburg","year":"1962","unstructured":"S. Ginsburg & G. Rice. Two families of languages related to ALGOL. J. ACM, 9:350\u2013371, 1962.","journal-title":"J. ACM"},{"key":"10_CR11","volume-title":"PhD thesis","author":"N. Heintze","year":"1992","unstructured":"N. Heintze. Set Based Program Analysis. PhD thesis, CMU, Pittsburgh, 1992."},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"J. Jeuring & D. Swierstra. Bottom-up grammar analysis \u2014 a functional formulation-. Proc. ESOP '94, LNCS 788, pp. 317\u2013332, 1994. Springer-Verlag.","DOI":"10.1007\/3-540-57880-3_21"},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"J. Jeuring & D. Swierstra. Constructing functional programs for grammar analysis problems. Proc. 7th ACM FPCA, pp. 259\u2013269, 1995.","DOI":"10.1145\/224164.224214"},{"key":"10_CR14","unstructured":"N.D. Jones and S.S. Muchnick. Flow-analysis and optimization of Lisp-like structures. In S.S. Muchnick & N.D. Jones, editors, Program Flow Analysis: Theory and Applications, pp. 102\u2013131. Prentice-Hall, 1981."},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"K. Meinke & J.V. Tucker. Universal algebra. In S. Abramsky, D.M. Gabbay & T.S.E. Maibaum, editors, Background: Mathematical Structures, vol. 1 of Handbook of Logic in Com. Sci., ch. 3, pp. 189\u2013411. Clarendon Press, 1992.","DOI":"10.1093\/oso\/9780198537359.003.0003"},{"key":"10_CR16","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/S0019-9958(67)90353-1","volume":"11","author":"J. Mezei","year":"1967","unstructured":"J. Mezei & J. Wright. Algebraic automata and context-free sets. Inf. & Cont., 11:3\u201329, 1967.","journal-title":"Inf. & Cont."},{"key":"10_CR17","doi-asserted-by":"crossref","unstructured":"U. M\u00f6ncke & R. Wilhelm. Grammar flow analysis. Proc. Int. Summer School SAGA, LNCS 545, pp. 151\u2013186, 1991. Springer-Verlag.","DOI":"10.1007\/3-540-54572-7_6"},{"key":"10_CR18","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1051\/ita\/1977110403111","volume":"11","author":"M. Nivat","year":"1977","unstructured":"M. Nivat. Mots infinis engendr\u00e9s par une grammaire alg\u00e9brique. RAIRO Informatique Th\u00e9orique, 11:311\u2013327, 1977.","journal-title":"RAIRO Informatique Th\u00e9orique"},{"key":"10_CR19","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1051\/ita\/1978120302591","volume":"12","author":"M. Nivat","year":"1978","unstructured":"M. Nivat. Sur les ensembles de mots infinis engendr\u00e9s par une grammaire alg\u00e9brique. RAIRO Informatique Th\u00e9orique, 12:259\u2013278, 1978.","journal-title":"RAIRO Informatique Th\u00e9orique"},{"issue":"4","key":"10_CR20","doi-asserted-by":"crossref","first-page":"570","DOI":"10.1145\/321356.321364","volume":"13","author":"R.J. Parikh","year":"1966","unstructured":"R.J. Parikh. On context-free languages. J. ACM, 13(4):570\u2013581, 1966.","journal-title":"J. ACM"},{"key":"10_CR21","doi-asserted-by":"crossref","first-page":"885","DOI":"10.2307\/2034080","volume":"13","author":"M.P. Sch\u00fctzenberger","year":"1962","unstructured":"M.P. Sch\u00fctzenberger. On a theorem of R. Jungen. Proc. Amer. Math. Soc., 13:885\u2013889, 1962.","journal-title":"Proc. Amer. Math. Soc."},{"key":"10_CR22","doi-asserted-by":"crossref","unstructured":"J.S. Uhl and R.N. Horspool. Flow grammars \u2014 a flow analysis methodology. Proc. CC'94, LNCS 786, pp. 203\u2013217, 1994. Springer-Verlag.","DOI":"10.1007\/3-540-57877-3_14"},{"key":"10_CR23","doi-asserted-by":"crossref","first-page":"191","DOI":"10.2307\/1968865","volume":"43","author":"M. Ward","year":"1942","unstructured":"M. Ward. The closure operators of a lattice. Ann. Math., 43:191\u2013196, 1942.","journal-title":"Ann. Math."},{"key":"10_CR24","unstructured":"R. Wilhelm & D. Maurer. Compiler Design. Addison-Wesley, 1995."},{"key":"10_CR25","doi-asserted-by":"crossref","unstructured":"M. Wirsing. Algebraic specification. In J. van Leeuwen, editor, Formal Models and Semantics, vol. B of Handbook of TCS, ch. 13, pp. 675\u2013788. Elsevier, 1990.","DOI":"10.1016\/B978-0-444-88074-1.50018-4"}],"container-title":["Lecture Notes in Computer Science","Algebraic Methodology and Software Technology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0000468","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,4]],"date-time":"2025-01-04T18:12:58Z","timestamp":1736014378000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0000468"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540638889","9783540696612"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/bfb0000468","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]},"assertion":[{"value":"7 September 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}