{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T20:05:16Z","timestamp":1784232316546,"version":"3.55.0"},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2019,7,26]],"date-time":"2019-07-26T00:00:00Z","timestamp":1564099200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2019,7,26]],"date-time":"2019-07-26T00:00:00Z","timestamp":1564099200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["SN COMPUT. SCI."],"published-print":{"date-parts":[[2020,1]]},"DOI":"10.1007\/s42979-019-0012-1","type":"journal-article","created":{"date-parts":[[2019,7,29]],"date-time":"2019-07-29T09:02:48Z","timestamp":1564390968000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["AutoAlias: Automatic Variable-Precision Alias Analysis for Object-Oriented Programs"],"prefix":"10.1007","volume":"1","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1946-8979","authenticated-orcid":false,"given":"Victor","family":"Rivera","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bertrand","family":"Meyer","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2019,7,26]]},"reference":[{"key":"12_CR1","unstructured":"Andersen LO. Program analysis and specialization for the C programming language. Technical report (1994)."},{"issue":"6","key":"12_CR2","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1145\/93548.93585","volume":"25","author":"DR Chase","year":"1990","unstructured":"Chase DR, Wegman M, Zadeck FK. Analysis of pointers and structures. SIGPLAN Not. 1990;25(6):296\u2013310.","journal-title":"SIGPLAN Not"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"Choi J-D, Burke M, Carini P. Efficient flow-sensitive interprocedural computation of pointer-induced aliases and side effects. In: Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL \u201993. New York: ACM; 1993. p. 232\u201345.","DOI":"10.1145\/158511.158639"},{"issue":"6","key":"12_CR4","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1145\/773473.178263","volume":"29","author":"A Deutsch","year":"1994","unstructured":"Deutsch A. Interprocedural may-alias analysis for pointers: beyond k-limiting. SIGPLAN Not. 1994;29(6):230\u201341.","journal-title":"SIGPLAN Not"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Hardekopf B, Lin C. Flow-sensitive pointer analysis for millions of lines of code. In: Proceedings of the 9th annual IEEE\/ACM international symposium on code generation and optimization, CGO \u201911. IEEE Computer Society: Washington, DC; 2011. p. 289\u201398.","DOI":"10.1109\/CGO.2011.5764696"},{"issue":"P1","key":"12_CR6","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1016\/j.scico.2013.11.006","volume":"97","author":"A Kogtenkov","year":"2015","unstructured":"Kogtenkov A, Meyer B, Velder S. Alias calculus, change calculus and frame inference. Sci Comput Program. 2015;97(P1):163\u201372.","journal-title":"Sci Comput Program"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Landi W, Ryder BG. A safe approximate algorithm for interprocedural aliasing. In: Proceedings of the ACM SIGPLAN 1992 conference on programming language design and implementation, PLDI \u201992. ACM: New York; 1992. p. 235\u2013248.","DOI":"10.1145\/143095.143137"},{"issue":"7","key":"12_CR8","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1145\/960116.53993","volume":"23","author":"JR Larus","year":"1988","unstructured":"Larus JR, Hilfinger PN. Detecting conflicts between structure accesses. SIGPLAN Not. 1988;23(7):24\u201331.","journal-title":"SIGPLAN Not"},{"issue":"3","key":"12_CR9","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1016\/0164-1212(88)90022-2","volume":"8","author":"B Meyer","year":"1988","unstructured":"Meyer B. Eiffel: a language and environment for software engineering. J Syst Softw. 1988;8(3):199\u2013246.","journal-title":"J Syst Softw"},{"key":"12_CR10","volume-title":"Object-oriented software construction","author":"B Meyer","year":"1997","unstructured":"Meyer B. Object-oriented software construction. 2nd ed. Upper Saddle River: Prentice-Hall; 1997.","edition":"2"},{"key":"12_CR11","doi-asserted-by":"crossref","unstructured":"Meyer B. Towards a theory and calculus of aliasing. J Object Technol. 2010;9(2):37\u201374 (column).","DOI":"10.5381\/jot.2010.9.2.c5"},{"key":"12_CR12","first-page":"174","volume-title":"Dependable software systems","author":"B Meyer","year":"2014","unstructured":"Meyer B. Framing the frame problem. In: Pretschner A, Broy M, Irlbeck M, editors. Dependable software systems. New York: Springer; 2014. p. 174\u201385."},{"key":"12_CR13","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/978-3-662-46823-4_4","volume-title":"Perspectives of system informatics","author":"B Meyer","year":"2015","unstructured":"Meyer B. An automatic technique for static deadlock prevention. In: Voronkov A, Virbitskaite I, editors. Perspectives of system informatics. Berlin: Springer; 2015. p. 45\u201358."},{"key":"12_CR14","first-page":"171","volume-title":"Negative variables and the essence of object-oriented programming","author":"B Meyer","year":"2014","unstructured":"Meyer B, Kogtenkov A. Negative variables and the essence of object-oriented programming. Berlin: Springer; 2014. p. 171\u201387."},{"issue":"1","key":"12_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1044834.1044835","volume":"14","author":"A Milanova","year":"2005","unstructured":"Milanova A, Rountev A, Ryder BG. Parameterized object sensitivity for points-to analysis for Java. ACM Trans Softw Eng Methodol. 2005;14(1):1\u201341.","journal-title":"ACM Trans Softw Eng Methodol"},{"key":"12_CR16","unstructured":"Rivera V. Autoalias and autoframe implementations; 2019. \nhttps:\/\/github.com\/varivera\/alias_graph_based\/tree\/master\/autoframe commit:25d20fc529151d19760f12a3566681fd0c79b1ed\n\n."},{"key":"12_CR17","unstructured":"Rivera V. Autoalias and autoframe results. \nhttps:\/\/varivera.github.io\/autoalias.html\n\n. Accessed Apr 2019."},{"key":"12_CR18","unstructured":"Rivera V, Bertrand M. Autoframe: automatic frame inference for object-oriented languages. Companion paper to this one, under submission (pre-print available at \nhttps:\/\/arxiv.org\/pdf\/1808.08751.pdf\n\n); 2019."},{"key":"12_CR19","first-page":"189","volume-title":"Two approaches to interprocedural data flow analysis, chapter\u00a07","author":"M Sharir","year":"1981","unstructured":"Sharir M, Pnueli A. Two approaches to interprocedural data flow analysis, chapter\u00a07. Englewood Cliffs: Prentice-Hall; 1981. p. 189\u2013234."},{"key":"12_CR20","unstructured":"Shivers OG. Control-flow analysis of higher-order languages of taming lambda. Ph.D. thesis, Pittsburgh. UMI Order No. GAX91-26964; 1991."},{"issue":"1","key":"12_CR21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1561\/2500000014","volume":"2","author":"Y Smaragdakis","year":"2015","unstructured":"Smaragdakis Y, Balatsouras G. Pointer analysis. Found Trends Program Lang. 2015;2(1):1\u201369.","journal-title":"Found Trends Program Lang"},{"issue":"1","key":"12_CR22","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1145\/1925844.1926390","volume":"46","author":"Y Smaragdakis","year":"2011","unstructured":"Smaragdakis Y, Bravenboer M, Lhot\u00e1k O. Pick your contexts well: understanding object-sensitivity. SIGPLAN Not. 2011;46(1):17\u201330.","journal-title":"SIGPLAN Not"},{"key":"12_CR23","first-page":"196","volume-title":"Aliasing in object-oriented programming. Chapter alias analysis for object-oriented programs","author":"M Sridharan","year":"2013","unstructured":"Sridharan M, Chandra S, Dolby J, Fink SJ, Yahav E. Aliasing in object-oriented programming. Chapter alias analysis for object-oriented programs. Berlin: Springer; 2013. p. 196\u2013232."}],"container-title":["SN Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s42979-019-0012-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s42979-019-0012-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s42979-019-0012-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,24]],"date-time":"2020-07-24T23:37:29Z","timestamp":1595633849000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s42979-019-0012-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,7,26]]},"references-count":23,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2020,1]]}},"alternative-id":["12"],"URL":"https:\/\/doi.org\/10.1007\/s42979-019-0012-1","relation":{},"ISSN":["2662-995X","2661-8907"],"issn-type":[{"value":"2662-995X","type":"print"},{"value":"2661-8907","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,7,26]]},"assertion":[{"value":"23 April 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"6 July 2019","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"26 July 2019","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Compliance with ethical standards"}},{"value":"The authors declare that they have no conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}],"article-number":"12"}}