{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,21]],"date-time":"2026-01-21T14:49:08Z","timestamp":1769006948963,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":39,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,10,17]],"date-time":"2024-10-17T00:00:00Z","timestamp":1729123200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,10,17]]},"DOI":"10.1145\/3689609.3689995","type":"proceedings-article","created":{"date-parts":[[2024,10,17]],"date-time":"2024-10-17T10:50:48Z","timestamp":1729162248000},"page":"10-17","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Stability: An Abstract Domain for the Trend of Variation of Numerical Variables"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9930-8854","authenticated-orcid":false,"given":"Luca","family":"Negrini","sequence":"first","affiliation":[{"name":"Ca' Foscari University of Venice, Venice, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-4767-3498","authenticated-orcid":false,"given":"Sofia","family":"Presotto","sequence":"additional","affiliation":[{"name":"Ca' Foscari University of Venice, Venice, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4678-933X","authenticated-orcid":false,"given":"Pietro","family":"Ferrara","sequence":"additional","affiliation":[{"name":"Ca' Foscari University of Venice, Venice, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6388-2053","authenticated-orcid":false,"given":"Enea","family":"Zaffanella","sequence":"additional","affiliation":[{"name":"University of Parma, Parma, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0946-5440","authenticated-orcid":false,"given":"Agostino","family":"Cortesi","sequence":"additional","affiliation":[{"name":"Ca' Foscari University of Venice, Venice, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,10,17]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341105.3373964"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/J.IC.2012.03.003"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/J.IC.2020.104620"},{"key":"e_1_3_2_1_4_1","volume-title":"Schwartzbach","author":"Christensen Aske Simon","year":"2003","unstructured":"Aske Simon Christensen, Anders M\u00f8ller, and Michael I. Schwartzbach. 2003. Precise Analysis of String Expressions. In Static Analysis, Radhia Cousot (Ed.). Springer Berlin Heidelberg, 1\u201318. isbn:978-3-540-44898-3"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1067625.806556"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(99)00045-3"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.2218"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263744"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00313-3"},{"key":"e_1_3_2_1_10_1","volume-title":"Principles of Abstract Interpretation","author":"Cousot Patrick","year":"2044","unstructured":"Patrick Cousot. 2021. Principles of Abstract Interpretation. MIT Press. isbn:9780262044905"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"e_1_3_2_1_12_1","volume-title":"Static Determination of Dynamic Properties of Recursive Procedures. In IFIP Working Conference on Formal Description of Programming Concepts, Erich J. Neuhold (Ed.). North-Holland, 237\u2013278","author":"Cousot Patrick","year":"1977","unstructured":"Patrick Cousot and Radhia Cousot. 1977. Static Determination of Dynamic Properties of Recursive Procedures. In IFIP Working Conference on Formal Description of Programming Concepts, Erich J. Neuhold (Ed.). North-Holland, 237\u2013278."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/567752.567778"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(92)90030-7"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","unstructured":"Patrick Cousot and Radhia Cousot. 2012. An abstract interpretation framework for termination. In POPL \u201912 John Field and Michael Hicks (Eds.). ACM 245\u2013258. https:\/\/doi.org\/10.1145\/2103656.2103687 10.1145\/2103656.2103687","DOI":"10.1145\/2103656.2103687"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/512760.512770"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","unstructured":"C. Cowan F. Wagle Calton Pu S. Beattie and J. Walpole. 2000. Buffer overflows: attacks and defenses for the vulnerability of the decade. In DISCEX \u201900. 2 119\u2013129 vol.2. https:\/\/doi.org\/10.1109\/DISCEX.2000.821514 10.1109\/DISCEX.2000.821514","DOI":"10.1109\/DISCEX.2000.821514"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-32304-2_12"},{"key":"e_1_3_2_1_19_1","volume-title":"Logic for Prog., Art","author":"Ernst Michael D.","unstructured":"Michael D. Ernst, Alberto Lovato, Damiano Macedonio, Ciprian Spiridon, and Fausto Spoto. 2015. Boolean Formulas for the Static Identification of Injection Attacks in Java. In Logic for Prog., Art. Int., and Reason., Martin Davis, Ansgar Fehnker, Annabelle McIver, and Andrei Voronkov (Eds.). Springer Berlin Heidelberg, 130\u2013145. isbn:978-3-662-48899-7"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3460946.3464316"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73368-3_10"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3571258"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2009.04.004"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45927-8_14"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10990-006-8609-1"},{"key":"e_1_3_2_1_26_1","volume-title":"VMCAI \u201914, Kenneth L","author":"Min\u00e9 Antoine","unstructured":"Antoine Min\u00e9. 2014. Relational Thread-Modular Static Value Analysis by Abstract Interpretation. In VMCAI \u201914, Kenneth L. McMillan and Xavier Rival (Eds.). Springer Berlin Heidelberg, 39\u201358. isbn:978-3-642-54013-4"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-67067-2_13"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-19-9601-6_2"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3589250.3596145"},{"key":"e_1_3_2_1_30_1","volume-title":"MichelsonLiSA: A Static Analyzer for Tezos. In 2023 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events (PerCom Workshops). 80\u201385","author":"Olivieri Luca","year":"2023","unstructured":"Luca Olivieri, Thomas Jensen, Luca Negrini, and Fausto Spoto. 2023. MichelsonLiSA: A Static Analyzer for Tezos. In 2023 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events (PerCom Workshops). 80\u201385."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2024.3410019"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","unstructured":"Luca Olivieri Luca Negrini Vincenzo Arceri Thomas Jensen and Fausto Spoto. 2024. Design and Implementation of Static Analyses for Tezos Smart Contracts. Distrib. Ledger Technol. jan https:\/\/doi.org\/10.1145\/3643567 10.1145\/3643567","DOI":"10.1145\/3643567"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ECOOP.2023.23"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3520313.3534658"},{"key":"e_1_3_2_1_35_1","unstructured":"M Pnueli and Micha Sharir. 1981. Two approaches to interprocedural data flow analysis. Program flow analysis: theory and applications 189\u2013234."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-44245-2_21"},{"key":"e_1_3_2_1_37_1","volume-title":"Compiler Design - Analysis and Transformation","author":"Seidl Helmut","unstructured":"Helmut Seidl, Reinhard Wilhelm, and Sebastian Hack. 2012. Compiler Design - Analysis and Transformation. Springer."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3332371"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1016\/J.CL.2015.10.001"}],"event":{"name":"NSAD '24: 10th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains","location":"Pasadena CA USA","acronym":"NSAD '24","sponsor":["SIGPLAN SIGPLAN","SIGAda SIGAda"]},"container-title":["Proceedings of the 10th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3689609.3689995","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3689609.3689995","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T01:09:47Z","timestamp":1750295387000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3689609.3689995"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,17]]},"references-count":39,"alternative-id":["10.1145\/3689609.3689995","10.1145\/3689609"],"URL":"https:\/\/doi.org\/10.1145\/3689609.3689995","relation":{},"subject":[],"published":{"date-parts":[[2024,10,17]]},"assertion":[{"value":"2024-10-17","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}