{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:35:22Z","timestamp":1759638922455},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540617396"},{"type":"electronic","value":"9783540706748"}],"license":[{"start":{"date-parts":[[1996,1,1]],"date-time":"1996-01-01T00:00:00Z","timestamp":820454400000},"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":[[1996]]},"DOI":"10.1007\/3-540-61739-6_53","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:18:56Z","timestamp":1330294736000},"page":"366-382","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":30,"title":["Abstract cofibered domains: Application to the alias analysis of untyped programs"],"prefix":"10.1007","author":[{"given":"Arnaud","family":"Venet","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"25_CR1","doi-asserted-by":"crossref","unstructured":"F. Bourdoncle. Abstract interpretation by dynamic partitioning. Journal of Functional Programming, 2(4), 1992.","DOI":"10.1017\/S0956796800000496"},{"key":"25_CR2","unstructured":"M. Barr and C. Wells. Category Theory for Computing Science. Prentice Hall, 1990."},{"key":"25_CR3","first-page":"106","volume-title":"Static determination of dynamic properties of programs","author":"P. Cousot","year":"1976","unstructured":"P. Cousot and R. Cousot. Static determination of dynamic properties of programs. In Proceedings of the 2 nd International Symposium on Programming, pages 106\u2013130, Paris, 1976. Dunod."},{"key":"25_CR4","doi-asserted-by":"crossref","unstructured":"P. Cousot and R. Cousot. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In Conference Record of the 4 th ACM Symposium on Principles of Programming Languages, pages 238\u2013252, Los Angeles, California, U.S.A., 1977.","DOI":"10.1145\/512950.512973"},{"key":"25_CR5","doi-asserted-by":"crossref","unstructured":"P. Cousot and R. Cousot. Systematic design of program analysis frameworks. In 6th POPL. ACM Press, 1979.","DOI":"10.1145\/567752.567778"},{"issue":"4","key":"25_CR6","doi-asserted-by":"crossref","first-page":"511","DOI":"10.1093\/logcom\/2.4.511","volume":"2","author":"P. Cousot","year":"1992","unstructured":"P. Cousot and R. Cousot. Abstract interpretation frameworks. Journal of logic and computation, 2(4):511\u2013547, August 1992.","journal-title":"Journal of logic and computation"},{"key":"25_CR7","first-page":"269","volume-title":"volume 631 of Lecture Notes in Computer Science","author":"P. Cousot","year":"1992","unstructured":"P. Cousot and R. Cousot. Comparing the Galois connection and widening\/narrowing approaches to abstract interpretation. In M. Bruynooghe and M. Wirsing, editors, Programming Language Implementation and Logic Programming, Proceedings of the Fourth International Symposium, PLILP'92, volume 631 of Lecture Notes in Computer Science, pages 269\u2013295, Leuven, Belgium, August 1992. Springer-Verlag, Berlin, Germany, 1992."},{"key":"25_CR8","doi-asserted-by":"crossref","unstructured":"P. Cousot and R. Cousot. Formal language, grammar and set-constraint-based program analysis by abstract interpretation. In Conference Record of FPCA '95. ACM Press, 1995.","DOI":"10.1145\/224164.224199"},{"key":"25_CR9","doi-asserted-by":"crossref","unstructured":"P. Cousot and N. Halbwachs. Automatic discovery of linear restraints among variables of a program. In 5th POPL. ACM Press, 1978.","DOI":"10.1145\/512760.512770"},{"key":"25_CR10","unstructured":"P. Cousot. M\u00e9thodes it\u00e9ratives de construction et d'approximation de points fixes d'op\u00e9rateurs monotones sur un treillis, analyse s\u00e9mantique des programmes. PhD thesis, Universit\u00e9 Scientifique et M\u00e9dicale de Grenoble, 1978."},{"key":"25_CR11","doi-asserted-by":"crossref","unstructured":"P. Cousot. Abstract interpretation in categorical form. To appear, 1996.","DOI":"10.1145\/234528.234740"},{"key":"25_CR12","volume-title":"PhD thesis","author":"A. Deutsch","year":"1992","unstructured":"A. Deutsch. Operational models of programming languages and representations of relations on regular languages with application to the static determination of dynamic aliasing properties of data. PhD thesis, University Paris VI (France), 1992."},{"key":"25_CR13","first-page":"2","volume-title":"A storeless model of aliasing and its abstraction using finite representations of right-regular equivalence relations","author":"A. Deutsch","year":"1992","unstructured":"A. Deutsch. A storeless model of aliasing and its abstraction using finite representations of right-regular equivalence relations. In Proceedings of the 1992 International Conference on Computer Languages, pages 2\u201313. IEEE Computer Society Press, Los Alamitos, California, U.S.A., 1992."},{"key":"25_CR14","doi-asserted-by":"crossref","unstructured":"A. Deutsch. Interprocedural may-alias analysis for pointers: beyond k-limiting. In ACM SIGPLAN'94 Conference on Programming Language Design and Implementation. ACM Press, 1994.","DOI":"10.1145\/178243.178263"},{"key":"25_CR15","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1080\/00207168908803778","volume":"30","author":"P. Granger","year":"1989","unstructured":"P. Granger. Static analysis of arithmetical congruences. International Journal of Computer Mathematics, 30:165\u2013190, 1989.","journal-title":"International Journal of Computer Mathematics"},{"key":"25_CR16","doi-asserted-by":"crossref","unstructured":"P. Granger. Static analysis of linear congruence equalities among variables of a program. In TAPSOFT'91, volume 493. Lecture Notes in Computer Science, 1991.","DOI":"10.1007\/3-540-53982-4_10"},{"key":"25_CR17","doi-asserted-by":"crossref","unstructured":"P. Granger. Improving the results of static analyses of programs by local decreasing iterations. In 12th Foundations of Software Technology and Theoretical Computer Science, Lecture Notes in Computer Science. Springer Verlag, 1992.","DOI":"10.1007\/3-540-56287-7_95"},{"key":"25_CR18","unstructured":"N. Jones and S. Muchnick. Flow analysis and optimization of lisp-like structures. In Program Flow Analysis: Theory and Applications, pages 102\u2013131. Prentice Hall, 1981."},{"key":"25_CR19","unstructured":"H.B.M Jonkers. Abstract storage structures. In De Bakker and Van Vliet, editors, Algorithmic languages, pages 321\u2013343. IFIP, 1981."},{"key":"25_CR20","doi-asserted-by":"crossref","unstructured":"M. Karr. Affine relationships among variables of a program. Acta Informatica, pages 133\u2013151, 1976.","DOI":"10.1007\/BF00268497"},{"key":"25_CR21","doi-asserted-by":"crossref","unstructured":"G.M. Kelly. On clubs and doctrines. In A. Dold and B. Eckmann, editors, Category seminar, volume 420 of Lecture Notes in Mathematics, pages 181\u2013256. Springer Verlag, 1974.","DOI":"10.1007\/BFb0063104"},{"key":"25_CR22","doi-asserted-by":"crossref","unstructured":"A. Venet. Abstract interpretation of the \u03c0-calculus. 5th LOMAPS Workshop on Analysis and Verification of High-Level Concurrent Languages, 1996.","DOI":"10.1007\/3-540-62503-8_3"}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61739-6_53","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,24]],"date-time":"2019-06-24T14:19:30Z","timestamp":1561385970000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61739-6_53"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540617396","9783540706748"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-61739-6_53","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]},"assertion":[{"value":"2 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}