{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,30]],"date-time":"2026-01-30T01:41:48Z","timestamp":1769737308202,"version":"3.49.0"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030415990","type":"print"},{"value":"9783030416003","type":"electronic"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"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":[[2020]]},"DOI":"10.1007\/978-3-030-41600-3_1","type":"book-chapter","created":{"date-parts":[[2020,3,13]],"date-time":"2020-03-13T01:32:04Z","timestamp":1584063124000},"page":"1-18","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":30,"title":["Combinations of Reusable Abstract Domains for a Multilingual Static Analyzer"],"prefix":"10.1007","author":[{"given":"Matthieu","family":"Journault","sequence":"first","affiliation":[]},{"given":"Antoine","family":"Min\u00e9","sequence":"additional","affiliation":[]},{"given":"Rapha\u00ebl","family":"Monat","sequence":"additional","affiliation":[]},{"given":"Abdelraouf","family":"Ouadjaout","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,3,14]]},"reference":[{"key":"1_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/11823230_15","volume-title":"Static Analysis","author":"G Balakrishnan","year":"2006","unstructured":"Balakrishnan, G., Reps, T.: Recency-abstraction for heap-allocated storage. In: Yi, K. (ed.) SAS 2006. LNCS, vol. 4134, pp. 221\u2013239. Springer, Heidelberg (2006). \nhttps:\/\/doi.org\/10.1007\/11823230_15"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"Bertrane, J., et al.: Static analysis and verification of aerospace software by abstract interpretation. In: AIAA Infotech$$@$$ Aerospace AIAA, No. 2010\u20133385, pp. 1\u201338, April 2010","DOI":"10.2514\/6.2010-3385"},{"key":"1_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-319-17524-9_1","volume-title":"NASA Formal Methods","author":"C Calcagno","year":"2015","unstructured":"Calcagno, C., Distefano, D., Dubreil, J., Gabi, D., Hooimeijer, P., Luca, M., O\u2019Hearn, P., Papakonstantinou, I., Purbrick, J., Rodriguez, D.: Moving fast with software verification. In: Havelund, K., Holzmann, G., Joshi, R. (eds.) NFM 2015. LNCS, vol. 9058, pp. 3\u201311. Springer, Cham (2015). \nhttps:\/\/doi.org\/10.1007\/978-3-319-17524-9_1"},{"key":"1_CR4","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: Proceedings of the POPL 1977, pp. 238\u2013252. ACM, January 1977","DOI":"10.1145\/512950.512973"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Systematic design of program analysis frameworks. In: Proceedings of the POPL 1979. pp. 269\u2013282. ACM Press (1979)","DOI":"10.1145\/567752.567778"},{"key":"1_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"272","DOI":"10.1007\/978-3-540-77505-8_23","volume-title":"Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues","author":"P Cousot","year":"2007","unstructured":"Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Min\u00e9, A., Monniaux, D., Rival, X.: Combination of abstractions in the ASTR\u00c9E static analyzer. In: Okada, M., Satoh, I. (eds.) ASIAN 2006. LNCS, vol. 4435, pp. 272\u2013300. Springer, Heidelberg (2007). \nhttps:\/\/doi.org\/10.1007\/978-3-540-77505-8_23"},{"key":"1_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"456","DOI":"10.1007\/978-3-642-19805-2_31","volume-title":"Foundations of Software Science and Computational Structures","author":"P Cousot","year":"2011","unstructured":"Cousot, P., Cousot, R., Mauborgne, L.: The Reduced product of abstract domains and the combination of decision procedures. In: Hofmann, M. (ed.) FoSSaCS 2011. LNCS, vol. 6604, pp. 456\u2013472. Springer, Heidelberg (2011). \nhttps:\/\/doi.org\/10.1007\/978-3-642-19805-2_31"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Cousot, P., Halbwachs, N.: Automatic discovery of linear restraints among variables of a program. In: Conference Record of the 5th Annual ACM SIGPLAN\/SIGACT Symposium on Principles of Programming Languages POPL 1978, pp. 84\u201397. ACM (1978)","DOI":"10.1145\/512760.512770"},{"key":"1_CR9","first-page":"573","volume":"27","author":"P Cuoq","year":"2012","unstructured":"Cuoq, P., Kirchner, F., Kosmatov, N., Prevosto, V., Signoles, J., Yakobowski, B.: Frama-C: a software analysis perspective. Formal Aspects Comput. 27, 573\u2013609 (2012)","journal-title":"Formal Aspects Comput."},{"key":"1_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/978-3-319-77935-5_14","volume-title":"NASA Formal Methods","author":"A Fromherz","year":"2018","unstructured":"Fromherz, A., Ouadjaout, A., Min\u00e9, A.: Static value analysis of python programs by abstract interpretation. In: Dutle, A., Mu\u00f1oz, C., Narkawicz, A. (eds.) NFM 2018. LNCS, vol. 10811, pp. 185\u2013202. Springer, Cham (2018). \nhttps:\/\/doi.org\/10.1007\/978-3-319-77935-5_14"},{"key":"1_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/978-3-319-99725-4_16","volume-title":"Static Analysis","author":"M Journault","year":"2018","unstructured":"Journault, M., Min\u00e9, A., Ouadjaout, A.: Modular static analysis of string manipulations in C programs. In: Podelski, A. (ed.) SAS 2018. LNCS, vol. 11002, pp. 243\u2013262. Springer, Cham (2018). \nhttps:\/\/doi.org\/10.1007\/978-3-319-99725-4_16"},{"key":"1_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"724","DOI":"10.1007\/978-3-030-17184-1_26","volume-title":"Programming Languages and Systems","author":"M Journault","year":"2019","unstructured":"Journault, M., Min\u00e9, A., Ouadjaout, A.: An abstract domain for trees with numeric relations. In: Caires, L. (ed.) ESOP 2019. LNCS, vol. 11423, pp. 724\u2013751. Springer, Cham (2019). \nhttps:\/\/doi.org\/10.1007\/978-3-030-17184-1_26"},{"key":"1_CR13","unstructured":"K\u00e4stner, D., et al.: Astr\u00e9e: proving the absence of runtime errors. In: Proceedings of the ERTS2 2010, May 2010"},{"key":"1_CR14","unstructured":"Lattner, C., Adve, V.: LLVM: a compilation framework for lifelong program analysis & transformation. In: Proceedings of the CGO 2004, March 2004"},{"issue":"7","key":"1_CR15","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1145\/1159974.1134659","volume":"41","author":"Antoine Min\u00e9","year":"2006","unstructured":"Min\u00e9, A.: Field-sensitive value analysis of embedded C programs with union types and pointer arithmetics. In: Proceedings of the LCTES 2006, pp. 54\u201363. ACM, June 2006","journal-title":"ACM SIGPLAN Notices"},{"issue":"3\u20134","key":"1_CR16","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1561\/2500000034","volume":"4","author":"A Min\u00e9","year":"2017","unstructured":"Min\u00e9, A.: Tutorial on static inference of numeric invariants by abstract interpretation. Found. Trends Programm. Lang. (FnTPL) 4(3\u20134), 120\u2013372 (2017)","journal-title":"Found. Trends Programm. Lang. (FnTPL)"},{"key":"1_CR17","unstructured":"Min\u00e9, A., Ouadjaout, A., Journault, M.: Design of a modular platform for static analysis. In: Proceedings of the 9th Workshop on Tools for Automatic Program Analysis (TAPAS 2018), p. 4, 28 August 2018"},{"key":"1_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"306","DOI":"10.1007\/978-3-319-99725-4_19","volume-title":"Static Analysis","author":"KS Namjoshi","year":"2018","unstructured":"Namjoshi, K.S., Pavlinovic, Z.: The impact of program transformations on static program analysis. In: Podelski, A. (ed.) SAS 2018. LNCS, vol. 11002, pp. 306\u2013325. Springer, Cham (2018). \nhttps:\/\/doi.org\/10.1007\/978-3-319-99725-4_19"},{"issue":"6","key":"1_CR19","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1145\/2345156.2254092","volume":"47","author":"H Oh","year":"2012","unstructured":"Oh, H., Heo, K., Lee, W., Lee, W., Yi, K.: Design and implementation of sparse global analyses for C-like languages. SIGPLAN Not. 47(6), 229\u2013238 (2012)","journal-title":"SIGPLAN Not."},{"key":"1_CR20","unstructured":"Spoto, F.: Julia: a generic static analyser for the Java bytecode. In: Proceedings of FTfJP 2005. p. 17, July 2005"}],"container-title":["Lecture Notes in Computer Science","Verified Software. Theories, Tools, and Experiments"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-41600-3_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,13]],"date-time":"2020-03-13T01:32:09Z","timestamp":1584063129000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-41600-3_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030415990","9783030416003"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-41600-3_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"14 March 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"VSTTE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Working Conference on Verified Software: Theories, Tools, and Experiments","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"New York City, NY","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"USA","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13 July 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 July 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"vstte2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/sri-csl.github.io\/VSTTE19\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}