{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T04:26:51Z","timestamp":1778300811730,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540664598","type":"print"},{"value":"9783540482949","type":"electronic"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48294-6_3","type":"book-chapter","created":{"date-parts":[[2007,8,3]],"date-time":"2007-08-03T16:16:02Z","timestamp":1186157762000},"page":"39-50","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":24,"title":["Dynamic Partitioning in Analyses of Numerical Properties"],"prefix":"10.1007","author":[{"given":"Bertrand","family":"Jeannet","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicolas","family":"Halbwachs","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pascal","family":"Raymond","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[1999,10,1]]},"reference":[{"key":"3_CR1","volume-title":"Composite model checking: Verification with type-specific symbolic representations","author":"T. Bultan","year":"1999","unstructured":"T. Bultan, R. Gerber, and C. League. Composite model checking: Verification with type-specific symbolic representations. Technical Report TRCS99-02, University of California, Santa Barbara, January 1999."},{"key":"3_CR2","series-title":"Lect Notes Comput Sci","volume-title":"Computer Aided Verification, CAV\u201997","author":"T. Bultan","year":"1997","unstructured":"T. Bultan, R. Gerber, and W. Pugh. Symbolic model checking of infinite state systems using presburger arithmeti c. In Computer Aided Verification, CAV\u201997. LNCS 1254, Springer Verlag, June 1997."},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"F. Bourdoncle. Abstract interpretation by dynamic partitionning. Journal of Functional Programming, 2(4), 1992.","DOI":"10.1017\/S0956796800000496"},{"key":"3_CR4","unstructured":"F. Bourdoncle. S\u00e9mantique des langages imp\u00e9ratifs d\u2019ordre sup\u00e9rieur et interpr\u00e9tation abstraite. Thesis Ecole Polytechnique, Paris, 1992."},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"P. Cousot and R. Cousot. Static determination of dynamic properties of programs. In 2nd Int. Symp. on Programming. Dunod, Paris, 1976.","DOI":"10.1145\/390018.808314"},{"key":"3_CR6","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 4th ACM Symposium on Principles of Programming Languages, POPL\u201977, Los Angeles, January 1977.","DOI":"10.1145\/512950.512973"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"P. Cousot and R. Cousot. Abstract interpretation frameworks. Journal of Logic and Computation, 1992.","DOI":"10.1093\/logcom\/2.4.511"},{"key":"3_CR8","series-title":"Lect Notes Comput Sci","volume-title":"PLILP\u201992","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, PLILP\u201992, Leuven (Belgium), January 1992. LNCS 631, Springer Verlag."},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"P. Cousot and N. Halbwachs. Automatic discovery of linear restraints among variables of a program. In 5th ACM Symposium on Principles of Programming Languages, POPL\u201978, Tucson (Arizona), January 1978.","DOI":"10.1145\/512760.512770"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"N. Halbwachs. About synchronous programming and abstract interpretation. Science of Computer Programming, Special Issue on SAS\u201994, 31(1), May 1998.","DOI":"10.1016\/S0167-6423(96)00041-X"},{"issue":"2","key":"3_CR11","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1023\/A:1008678014487","volume":"11","author":"N. Halbwachs","year":"1997","unstructured":"N. Halbwachs, Y.E. Proy, and P. Roumanoff. Verification of real-time systems using linear relation analysis. Formal Methods in System Design, 11(2):157\u2013185, August 1997.","journal-title":"Formal Methods in System Design"},{"key":"3_CR12","unstructured":"N. D. Jones, C. Gomard, and P. Sestoft. Partial Evaluation and Automatic Program Generation. Prentice Hall International, 1993."},{"key":"3_CR13","unstructured":"Ch. Mauras. Symbolic simulation of interpreted automata. In 3rd Workshop on Synchronous Programming, Dagstuhl (Germany), December 1996."}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48294-6_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T13:45:38Z","timestamp":1778247938000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/3-540-48294-6_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540664598","9783540482949"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-48294-6_3","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[1999]]},"assertion":[{"value":"1 October 1999","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}