{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,5]],"date-time":"2025-05-05T07:25:49Z","timestamp":1746429949967,"version":"3.37.3"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319997247"},{"type":"electronic","value":"9783319997254"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","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":[[2018]]},"DOI":"10.1007\/978-3-319-99725-4_21","type":"book-chapter","created":{"date-parts":[[2018,8,29]],"date-time":"2018-08-29T13:45:50Z","timestamp":1535550350000},"page":"344-363","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Invertible Linear Transforms of Numerical Abstract Domains"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0159-0068","authenticated-orcid":false,"given":"Francesco","family":"Ranzato","sequence":"first","affiliation":[]},{"given":"Marco","family":"Zanella","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,8,29]]},"reference":[{"key":"21_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/978-3-642-15769-1_9","volume-title":"Static Analysis","author":"G Amato","year":"2010","unstructured":"Amato, G., Parton, M., Scozzari, F.: Deriving numerical abstract domains via principal component analysis. In: Cousot, R., Martel, M. (eds.) SAS 2010. LNCS, vol. 6337, pp. 134\u2013150. Springer, Heidelberg (2010). \nhttps:\/\/doi.org\/10.1007\/978-3-642-15769-1_9"},{"key":"21_CR2","doi-asserted-by":"publisher","first-page":"1533","DOI":"10.1016\/j.jsc.2011.12.052","volume":"47","author":"G Amato","year":"2012","unstructured":"Amato, G., Parton, M., Scozzari, F.: Discovering invariants via simple component analysis. J. Symb. Comput. 47, 1533\u20131560 (2012)","journal-title":"J. Symb. Comput."},{"key":"21_CR3","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1016\/j.scico.2017.05.011","volume":"148","author":"G Amato","year":"2017","unstructured":"Amato, G., Rubino, M., Scozzari, F.: Inferring linear invariants with parallelotopes. Sci. Comput. Program. 148, 161\u2013188 (2017)","journal-title":"Sci. Comput. Program."},{"key":"21_CR4","doi-asserted-by":"crossref","unstructured":"Amato, G., Scozzari, F.: The abstract domain of parallelotopes. In: Proceedings of 4th International Workshop on Numerical and Symbolic Abstract Domains (NSAD 2012) (2012). ENTCS 287, 17\u201328","DOI":"10.1016\/j.entcs.2012.09.003"},{"key":"21_CR5","doi-asserted-by":"crossref","unstructured":"Bourdoncle, F.: Abstract debugging of higher-order imperative languages. In: Proceedings ACM Internationl Conference on Programming Languages Design and Implementation (PLDI 1993), pp. 46\u201355. ACM Press (1993)","DOI":"10.1145\/155090.155095"},{"key":"21_CR6","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 fixed points. In: Proceedings of the 4th ACM Symposium on Principles of Programming Languages (POPL 1977), pp. 238\u2013252. ACM Press (1977)","DOI":"10.1145\/512950.512973"},{"key":"21_CR7","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Systematic design of program analysis frameworks. In: Proceedings of the 6th ACM SIGACT-SIGPLAN Symposium on Principles of programming languages, pp. 269\u2013282. ACM (1979)","DOI":"10.1145\/567752.567778"},{"key":"21_CR8","doi-asserted-by":"crossref","unstructured":"Cousot, P., Halbwachs, N.: Automatic discovery of linear restraints among variables of a program. In: Proceedings of the 5th ACM Symposium on Principles of Programming Languages (POPL 1978), pp. 84\u201397. ACM (1978)","DOI":"10.1145\/512760.512770"},{"issue":"2","key":"21_CR9","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1145\/234528.234742","volume":"28","author":"G Fil\u00e9","year":"1996","unstructured":"Fil\u00e9, G., Giacobazzi, R., Ranzato, F.: A unifying view of abstract domain design. ACM Comput. Surv. 28(2), 333\u2013336 (1996)","journal-title":"ACM Comput. Surv."},{"issue":"1","key":"21_CR10","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1016\/S0304-3975(98)00007-3","volume":"222","author":"G Fil\u00e9","year":"1999","unstructured":"Fil\u00e9, G., Ranzato, F.: The powerset operator on abstract interpretations. Theor. Comput. Sci. 222(1), 77\u2013111 (1999)","journal-title":"Theor. Comput. Sci."},{"key":"21_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"771","DOI":"10.1007\/3-540-63165-8_230","volume-title":"Automata, Languages and Programming","author":"R Giacobazzi","year":"1997","unstructured":"Giacobazzi, R., Ranzato, F.: Refining and compressing abstract domains. In: Degano, P., Gorrieri, R., Marchetti-Spaccamela, A. (eds.) ICALP 1997. LNCS, vol. 1256, pp. 771\u2013781. Springer, Heidelberg (1997). \nhttps:\/\/doi.org\/10.1007\/3-540-63165-8_230"},{"issue":"1\u20132","key":"21_CR12","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1016\/S0304-3975(98)00194-7","volume":"216","author":"R Giacobazzi","year":"1999","unstructured":"Giacobazzi, R., Ranzato, F.: The reduced relative power operation on abstract domains. Theor. Comput. Sci. 216(1\u20132), 159\u2013211 (1999)","journal-title":"Theor. Comput. Sci."},{"issue":"2","key":"21_CR13","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1145\/333979.333989","volume":"47","author":"R Giacobazzi","year":"2000","unstructured":"Giacobazzi, R., Ranzato, F., Scozzari, F.: Making abstract interpretations complete. J. ACM 47(2), 361\u2013416 (2000)","journal-title":"J. ACM"},{"key":"21_CR14","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/BF00268497","volume":"6","author":"M Karr","year":"1976","unstructured":"Karr, M.: Affine relationships among variables of a program. Acta Informatica 6, 133\u2013151 (1976)","journal-title":"Acta Informatica"},{"key":"21_CR15","doi-asserted-by":"crossref","unstructured":"Kildall, G.A.: A unified approach to global program optimization. In: Proceedings of the 1st ACM Symposium on Principles of Programming Languages (POPL 1973), pp. 194\u2013206. ACM (1973)","DOI":"10.1145\/512927.512945"},{"key":"21_CR16","unstructured":"Min\u00e9, A.: Weakly relational numerical abstract domains. Ph.D. thesis, \u00c9cole Normale Sup\u00e9rieure, Paris, France (2004)"},{"issue":"1","key":"21_CR17","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. High. Order Symb. Comput. 19(1), 31\u2013100 (2006)","journal-title":"High. Order Symb. Comput."},{"issue":"3\u20134","key":"21_CR18","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 Program. Lang. 4(3\u20134), 120\u2013372 (2017)","journal-title":"Found. Trends Program. Lang."},{"key":"21_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/978-3-540-30579-8_2","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"S Sankaranarayanan","year":"2005","unstructured":"Sankaranarayanan, S., Sipma, H.B., Manna, Z.: Scalable analysis of linear systems using mathematical programming. In: Cousot, R. (ed.) VMCAI 2005. LNCS, vol. 3385, pp. 25\u201341. Springer, Heidelberg (2005). \nhttps:\/\/doi.org\/10.1007\/978-3-540-30579-8_2"},{"key":"21_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1007\/978-3-319-52234-0_26","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"Y Seladji","year":"2017","unstructured":"Seladji, Y.: Finding relevant templates via the principal component analysis. In: Bouajjani, A., Monniaux, D. (eds.) VMCAI 2017. LNCS, vol. 10145, pp. 483\u2013499. Springer, Cham (2017). \nhttps:\/\/doi.org\/10.1007\/978-3-319-52234-0_26"},{"key":"21_CR21","doi-asserted-by":"publisher","DOI":"10.1090\/gsm\/147","volume-title":"Matrix Theory","author":"X Zhan","year":"2013","unstructured":"Zhan, X.: Matrix Theory. American Mathematical Society, Providence (2013)"}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-99725-4_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,8,29]],"date-time":"2018-08-29T14:05:13Z","timestamp":1535551513000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-99725-4_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319997247","9783319997254"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-99725-4_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}