{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T12:17:54Z","timestamp":1770293874405,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540775041","type":"print"},{"value":"9783540775058","type":"electronic"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-77505-8_23","type":"book-chapter","created":{"date-parts":[[2008,1,24]],"date-time":"2008-01-24T12:56:35Z","timestamp":1201179395000},"page":"272-300","source":"Crossref","is-referenced-by-count":53,"title":["Combination of Abstractions in the ASTR\u00c9E Static Analyzer"],"prefix":"10.1007","author":[{"given":"Patrick","family":"Cousot","sequence":"first","affiliation":[]},{"given":"Radhia","family":"Cousot","sequence":"additional","affiliation":[]},{"given":"J\u00e9r\u00f4me","family":"Feret","sequence":"additional","affiliation":[]},{"given":"Laurent","family":"Mauborgne","sequence":"additional","affiliation":[]},{"given":"Antoine","family":"Min\u00e9","sequence":"additional","affiliation":[]},{"given":"David","family":"Monniaux","sequence":"additional","affiliation":[]},{"given":"Xavier","family":"Rival","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"23_CR1","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: 4th ACM POPL, pp. 238\u2013252 (1977)","DOI":"10.1145\/512950.512973"},{"key":"23_CR2","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1093\/logcom\/2.4.511","volume":"2","author":"P. Cousot","year":"1992","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation frameworks. Journal of Logic and Computation\u00a02, 511\u2013547 (1992)","journal-title":"Journal of Logic and Computation"},{"key":"23_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/3-540-36377-7_5","volume-title":"The Essence of Computation","author":"B. Blanchet","year":"2002","unstructured":"Blanchet, B., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Min\u00e9, A., Monniaux, D., Rival, X.: Design and implementation of a special-purpose static program analyzer for safety-critical real-time embedded software, invited chapter. In: Mogensen, T., Schmidt, D., Sudborough, I. (eds.) The Essence of Computation. LNCS, vol.\u00a02566, pp. 85\u2013108. Springer, Heidelberg (2002)"},{"key":"23_CR4","first-page":"196","volume-title":"Proc. ACM SIGPLAN \u20192003 Conf","author":"B. Blanchet","year":"2003","unstructured":"Blanchet, B., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Min\u00e9, A., Monniaux, D., Rival, X.: A static analyzer for large safety-critical software. In: Proc. ACM SIGPLAN \u20192003 Conf, PLDI, San Diego, pp. 196\u2013207. ACM Press, New York (2003)"},{"key":"23_CR5","series-title":"LNCS 3444","first-page":"21","volume-title":"Proc. 14th ESOP \u20192005, Edinburgh","author":"P. Cousot","year":"2005","unstructured":"Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Min\u00e9, A., Monniaux, D., Rival, X.: The ASTR\u00c9E analyzer. In: Sagiv, M. (ed.) Proc. 14th ESOP \u20192005, Edinburgh, 4\u20138 Apr. 2005. LNCS 3444, pp. 21\u201330. Springer, Heidelberg (2005)"},{"key":"23_CR6","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1007\/978-1-4020-8157-6_30","volume-title":"Building the Information Society","author":"L. Mauborgne","year":"2004","unstructured":"Mauborgne, L.: ASTR\u00c9E: Verification of absence of run-time error. In: Jacquart, P. (ed.) Building the Information Society, pp. 385\u2013392. Kluwer Academic Publishers, Dordrecht (2004)"},{"key":"23_CR7","series-title":"Ottawa, Ontario, Canada, 14\u201316 June 2006","first-page":"54","volume-title":"Proc. LCTES 2006","author":"A. Min\u00e9","year":"2006","unstructured":"Min\u00e9, A.: Field-sensitive value analysis of embedded C programs with union types and pointer arithmetics. In: Proc. LCTES 2006. Ottawa, Ontario, Canada, 14\u201316 June 2006, pp. 54\u201363. ACM Press, New York (2006)"},{"key":"23_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11575467_7","volume-title":"Programming Languages and Systems","author":"D. Monniaux","year":"2005","unstructured":"Monniaux, D.: The parallel implementation of the ASTR\u00c9E static analyzer. In: Yi, K. (ed.) APLAS 2005. LNCS, vol.\u00a03780, Springer, Heidelberg (2005)"},{"key":"23_CR9","unstructured":"Cousot, P., Cousot, R.: Static determination of dynamic properties of programs. In: Proceedings of the Second International Symposium on Programming, Paris, France, Dunod, Paris, France, pp. 106\u2013130 (1976)"},{"key":"23_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1007\/11609773_23","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"A. Min\u00e9","year":"2005","unstructured":"Min\u00e9, A.: Symbolic methods to enhance the precision of numerical abstract domains. In: Emerson, E.A., Namjoshi, K.S. (eds.) VMCAI 2006. LNCS, vol.\u00a03855, pp. 348\u2013363. Springer, Heidelberg (2005)"},{"key":"23_CR11","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/s10990-006-8609-1","volume":"19","author":"A. Min\u00e9","year":"2006","unstructured":"Min\u00e9, A.: The octagon abstract domain. Higher-Order and Symbolic Computation\u00a019, 31\u2013100 (2006)","journal-title":"Higher-Order and Symbolic Computation"},{"key":"23_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/978-3-540-24725-8_4","volume-title":"Programming Languages and Systems","author":"J. Feret","year":"2004","unstructured":"Feret, J.: Static analysis of digital filters. In: Schmidt, D. (ed.) ESOP 2004. LNCS, vol.\u00a02986, pp. 33\u201348. Springer, Heidelberg (2004)"},{"key":"23_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1007\/b136914","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"J. Feret","year":"2005","unstructured":"Feret, J.: The arithmetic-geometric progression abstract domain. In: Cousot, R. (ed.) VMCAI 2005. LNCS, vol.\u00a03385, pp. 2\u201358. Springer, Heidelberg (2005)"},{"key":"23_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/978-3-540-31987-0_2","volume-title":"Programming Languages and Systems","author":"L. Mauborgne","year":"2005","unstructured":"Mauborgne, L., Rival, X.: Trace partitioning in abstract interpretation based static analyzers. In: Sagiv, M. (ed.) ESOP 2005. LNCS, vol.\u00a03444, pp. 21\u201330. Springer, Heidelberg (2005)"},{"key":"23_CR15","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Systematic design of program analysis frameworks. In: 6th ACM POPL, pp. 269\u2013282 (1979)","DOI":"10.1145\/567752.567778"},{"key":"23_CR16","unstructured":"Leroy, X., Doligez, D., Garrigue, J., R\u00e9my, D., Vouillon, J.: The Objective Caml system, documentation and user\u2019s manual (release 3.06). Technical report, INRIA, Rocquencourt, France (2002)"},{"key":"23_CR17","doi-asserted-by":"crossref","unstructured":"Min\u00e9, A.: The octagon abstract domain library (2006), www.di.ens.fr\/~mine\/oct\/","DOI":"10.1007\/s10990-006-8609-1"},{"key":"23_CR18","unstructured":"ANSI\/ISO: Programming languages \u2013 C. (1999) Standard ISO\/IEC 9899:1999(E)"},{"key":"23_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/3-540-44829-2_17","volume-title":"Model Checking Software","author":"T.A. Henzinger","year":"2003","unstructured":"Henzinger, T.A., Jhala, R., Majumdar, R., Sutre, G.: Software verification with BLAST. In: Ball, T., Rajamani, S.K. (eds.) Model Checking Software. LNCS, vol.\u00a02648, pp. 235\u2013239. Springer, Heidelberg (2003)"},{"key":"23_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/978-3-540-39910-0_11","volume-title":"Verification: Theory and Practice","author":"P. Cousot","year":"2004","unstructured":"Cousot, P.: Verification by abstract interpretation, invited chapter. In: Dershowitz, N. (ed.) Verification: Theory and Practice. LNCS, vol.\u00a02772, pp. 243\u2013268. Springer, Heidelberg (2004)"},{"key":"23_CR21","series-title":"NATO Science Series, Series F: Computer and Systems Sciences","first-page":"421","volume-title":"Calculational System Design","author":"P. Cousot","year":"1999","unstructured":"Cousot, P.: The calculational design of a generic abstract interpreter, invited chapter. In: Broy, M., Steinbr\u00fcggen, R. (eds.) Calculational System Design. NATO Science Series, Series F: Computer and Systems Sciences, vol.\u00a0173, pp. 421\u2013505. IOS Press, Amsterdam (1999)"},{"key":"23_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-540-24725-8_2","volume-title":"Programming Languages and Systems","author":"A. Min\u00e9","year":"2004","unstructured":"Min\u00e9, A.: Relational abstract domains for the detection of floating-point run-time errors. In: Schmidt, D. (ed.) ESOP 2004. LNCS, vol.\u00a02986, pp. 3\u201317. Springer, Heidelberg (2004)"},{"key":"23_CR23","unstructured":"Cousot, P.: MIT course 16.399: Abstract Interpretation (2005), http:\/\/web.mit.edu\/afs\/athena.mit.edu\/course\/16\/16.399\/www\/"}],"container-title":["Lecture Notes in Computer Science","Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-77505-8_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,7]],"date-time":"2019-05-07T08:57:27Z","timestamp":1557219447000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-77505-8_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540775041","9783540775058"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-77505-8_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007]]}}}