{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,29]],"date-time":"2026-10-29T09:25:03Z","timestamp":1793265903489,"version":"4.5.0"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540254355","type":"print"},{"value":"9783540319870","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-31987-0_2","type":"book-chapter","created":{"date-parts":[[2010,12,20]],"date-time":"2010-12-20T18:42:00Z","timestamp":1292870520000},"page":"5-20","source":"Crossref","is-referenced-by-count":142,"title":["Trace Partitioning in Abstract Interpretation Based Static Analyzers"],"prefix":"10.1007","author":[{"given":"Laurent","family":"Mauborgne","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Xavier","family":"Rival","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1145\/277650.277665","volume-title":"Conference on Programming Language Design and Implementation (PLDI 1998)","author":"G. Ammons","year":"1998","unstructured":"Ammons, G., Larus, J.R.: Improving data-flow analysis with path profiles. In: Conference on Programming Language Design and Implementation (PLDI 1998), pp. 72\u201384. ACM Press, New York (1998)"},{"key":"2_CR2","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.\u00c6., Schmidt, D.A., Sudborough, I.H. (eds.) The Essence of Computation. LNCS, vol.\u00a02566, pp. 85\u2013108. Springer, Heidelberg (2002)"},{"key":"2_CR3","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1145\/781131.781153","volume-title":"Conference on Programming Language Design and Implementation (PLDI 2003)","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: Conference on Programming Language Design and Implementation (PLDI 2003), pp. 196\u2013207. ACM Press, New York (2003)"},{"key":"2_CR4","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1017\/S0956796800000496","volume":"2","author":"F. Bourdoncle","year":"1992","unstructured":"Bourdoncle, F.: Abstract interpretation by dynamic partitioning. Journal of Functional Programming 4\u00a02, 407\u2013435 (1992)","journal-title":"Journal of Functional Programming 4"},{"key":"2_CR5","unstructured":"Cousot, P.: M\u00e9thodes it\u00e9ratives de construction et d\u2019approximation de points fixes d\u2019op\u00e9rateurs monotones sur un treillis, analyse s\u00e9mantique des programmes. PhD thesis, Universit\u00e9 de Grenoble (1978)"},{"key":"2_CR6","volume-title":"Program Flow Analysis: Theory and Applications, ch.\u00a010.","author":"P. Cousot","year":"1981","unstructured":"Cousot, P.: Semantic foundations of program analysis. In: Muchnick, S., Jones, N. (eds.) Program Flow Analysis: Theory and Applications, ch.\u00a010. Prentice-Hall, Inc., Englewood Cliffs (1981)"},{"key":"2_CR7","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1145\/512950.512973","volume-title":"4th ACM Symposium on Principles of Programming Languages (POPL 1977)","author":"P. Cousot","year":"1977","unstructured":"Cousot, P., Cousot, R.: Abstract intrepretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: 4th ACM Symposium on Principles of Programming Languages (POPL 1977), pp. 238\u2013252. ACM Press, New York (1977)"},{"key":"2_CR8","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1145\/567752.567778","volume-title":"6th ACM Symposium on Principles of Programming Languages (POPL 1979)","author":"P. Cousot","year":"1979","unstructured":"Cousot, P., Cousot, R.: Systematic design of program analysis frameworks. In: 6th ACM Symposium on Principles of Programming Languages (POPL 1979), pp. 269\u2013283. ACM Press, New York (1979)"},{"key":"2_CR9","volume-title":"Building the Information Society, ch.\u00a04","author":"P. Cousot","year":"2004","unstructured":"Cousot, P., Cousot, R.: Basic concepts of abstract interpretation. In: Building the Information Society, ch.\u00a04. Kluwer Academic Publishers, Dordrecht (2004)"},{"key":"2_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/978-3-540-31987-0_3","volume-title":"Programming Languages and Systems","author":"P. Cousot","year":"2005","unstructured":"Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Min\u00e9, A., Monniaux, D., Rival, X.: The astr\u00e9e analyzer. In: Sagiv, M. (ed.) ESOP 2005. LNCS, vol.\u00a03444, pp. 21\u201330. Springer, Heidelberg (2005)"},{"key":"2_CR11","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1145\/512760.512770","volume-title":"5th ACM Symposium on Principles of Programming Languages (POPL 1978)","author":"P. Cousot","year":"1978","unstructured":"Cousot, P., Halbwachs, N.: Automatic discovery of linear restraints among variables of a program. In: 5th ACM Symposium on Principles of Programming Languages (POPL 1978), pp. 84\u201397. ACM Press, New York (1978)"},{"key":"2_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":"2_CR13","doi-asserted-by":"crossref","unstructured":"Granger, P.: Static Analysis of Arithmetical Congruences. Int. J. Computer. Math.\u00a030 (1989)","DOI":"10.1080\/00207168908803778"},{"key":"2_CR14","first-page":"69","volume-title":"7th ACM Symposium on Principles of Programming Languages (POPL 1980)","author":"L.H. Holley","year":"1980","unstructured":"Holley, L.H., Rosen, B.K.: Qualified data flow problems. In: 7th ACM Symposium on Principles of Programming Languages (POPL 1980), pp. 69\u201382. ACM Press, New York (1980)"},{"key":"2_CR15","volume-title":"Building the Information Society, ch.\u00a04","author":"L. Mauborgne","year":"2004","unstructured":"Mauborgne, L.: ASTR\u00c9E: Verification of absence of run-time error. In: Building the Information Society, ch.\u00a04. Kluwer Academic Publishers, Dordrecht (2004)"},{"key":"2_CR16","volume-title":"AST","author":"A. Min\u00e9","year":"2001","unstructured":"Min\u00e9, A.: The octagon abstract domain. In: AST. IEEE, IEEE CS Press, Los Alamitos (2001)"},{"key":"2_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/3-540-49727-7_12","volume-title":"Static Analysis","author":"S. Tzolowski","year":"1998","unstructured":"Tzolowski, S., Handjieva, M.: Refining static analyses by trace-based partitionning using control flow. In: Levi, G. (ed.) SAS 1998. LNCS, vol.\u00a01503, pp. 200\u2013214. Springer, Heidelberg (1998)"},{"key":"2_CR18","series-title":"Lecture Notes in Computer Science","volume-title":"Static Analysis","author":"A. Venet","year":"1996","unstructured":"Venet, A.: Abstract cofibered domains: Application to the alias analysis of untyped programs. In: Cousot, R., Schmidt, D.A. (eds.) SAS 1996. LNCS, vol.\u00a01145, Springer, Heidelberg (1996)"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-31987-0_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:33:19Z","timestamp":1605760399000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-31987-0_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540254355","9783540319870"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-31987-0_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}