{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T15:09:42Z","timestamp":1778252982210,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540676683","type":"print"},{"value":"9783540450993","type":"electronic"}],"license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/978-3-540-45099-3_15","type":"book-chapter","created":{"date-parts":[[2011,1,14]],"date-time":"2011-01-14T04:05:17Z","timestamp":1294977917000},"page":"280-301","source":"Crossref","is-referenced-by-count":102,"title":["TVLA: A System for Implementing Static Analyses"],"prefix":"10.1007","author":[{"given":"Tal","family":"Lev-Ami","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mooly","family":"Sagiv","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/3-540-60360-3_31","volume-title":"Static Analysis","author":"M. Alt","year":"1995","unstructured":"Alt, M., Martin, F.: Generation of efficient interprocedural analyzers with PAG. In: Mycroft, A. (ed.) SAS 1995. LNCS, vol.\u00a0983, pp. 33\u201350. Springer, Heidelberg (1995)"},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"A\u00dfmann, U.: OPTIMIX, A Tool for Rewriting and Optimizing Programs. Graph Grammar Handbook. Chapman-Hall, Australia (1998)","DOI":"10.1142\/9789812815149_0008"},{"issue":"3","key":"15_CR3","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1145\/136035.136043","volume":"24","author":"R.E. Bryant","year":"1992","unstructured":"Bryant, R.E.: Symbolic boolean manipulation with ordered binary decision diagrams. Computing Surveys\u00a024(3), 293\u2013318 (1992)","journal-title":"Computing Surveys"},{"key":"15_CR4","first-page":"296","volume-title":"SIGPLAN Conf. on Prog. Lang. Design and Impl.","author":"D.R. Chase","year":"1990","unstructured":"Chase, D.R., Wegman, M., Zadeck, F.: Analysis of pointers and structures. In: SIGPLAN Conf. on Prog. Lang. Design and Impl., New York, NY, pp. 296\u2013310. ACM Press, New York (1990)"},{"key":"15_CR5","first-page":"269","volume-title":"Symp. on Princ. of Prog. Lang.","author":"P. Cousot","year":"1979","unstructured":"Cousot, P., Cousot, R.: Systematic design of program analysis frameworks. In: Symp. on Princ. of Prog. Lang., New York, NY, pp. 269\u2013282. ACM Press, New York (1979)"},{"key":"15_CR6","first-page":"230","volume-title":"SIGPLAN Conf. on Prog. Lang. Design and Impl.","author":"A. Deutsch","year":"1994","unstructured":"Deutsch, A.: Interprocedural may-alias analysis for pointers: Beyond k-limiting. In: SIGPLAN Conf. on Prog. Lang. Design and Impl., New York, NY, pp. 230\u2013241. ACM Press, New York (1994)"},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"Dor, N., Rodeh, M., Sagiv, M.: Checking cleanness in linked lists. In: SAS 2000, Static Analysis Symposium (2000)","DOI":"10.1007\/978-3-540-45099-3_7"},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"Evans, D.: Static detection of dynamic memory errors. In: SIGPLAN Conf. on Prog. Lang. Design and Impl. (1996)","DOI":"10.1145\/231379.231389"},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"Jensen, J.L., Joergensen, M.E., Klarlund, N., Schwartzbach, M.I.: Automatic verification of pointer programs using monadic second-order logic. In: SIGPLAN Conf. on Prog. Lang. Design and Impl. (1997)","DOI":"10.1145\/258915.258936"},{"key":"15_CR10","unstructured":"Lev-Ami, T.: TVLA: A framework for Kleene based static analysis. Master\u2019s thesis, Tel-Aviv University (2000), Available at \n                      http:\/\/www.math.tau.ac.il\/~tla"},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"Lev-Ami, T., Reps, T., Sagiv, M., Wilhelm, R.: Putting static analysis to work for verification: A case study. In: International Symposium on Software Testing and Analysis (2000), Available at \n                      http:\/\/www.cs.wisc.edu\/~reps","DOI":"10.1145\/347324.348031"},{"key":"15_CR12","volume-title":"Advanced Compiler Design and Implementation","author":"S.S. Muchnick","year":"1999","unstructured":"Muchnick, S.S.: Advanced Compiler Design and Implementation, 3rd edn. Morgan & Kaufmann, San Francisco (1999)","edition":"3"},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"Nielson, F., Nielson, H.R., Sagiv, M.: A kleene analysis of mobile ambients. In: Proceedings of the 2000 European Symposium On Programming (March 2000)","DOI":"10.1007\/3-540-46425-5_20"},{"key":"15_CR14","unstructured":"Rinetskey, N., Sagiv, M.: Interprocedual shape analysis for recursive programs (2000), Available at \n                      http:\/\/www.cs.technion.ac.il\/~maon"},{"issue":"1","key":"15_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/271510.271517","volume":"20","author":"M. Sagiv","year":"1998","unstructured":"Sagiv, M., Reps, T., Wilhelm, R.: Solving shape-analysis problems in languages with destructive updating. Trans. on Prog. Lang. and Syst.\u00a020(1), 1\u201350 (1998)","journal-title":"Trans. on Prog. Lang. and Syst."},{"key":"15_CR16","doi-asserted-by":"crossref","unstructured":"Sagiv, M., Reps, T., Wilhelm, R.: Parametric shape analysis via 3-valued logic. In: Symp. on Princ. of Prog. Lang. (1999)","DOI":"10.1145\/292540.292552"},{"key":"15_CR17","doi-asserted-by":"crossref","unstructured":"Sagiv, M., Reps, T., Wilhelm, R.: Parametric shape analysis via 3- valued logic. Tech. Rep. TR-1383, Comp. Sci. Dept., Univ. of Wisconsin, Madison, WI,(March 2000), Submitted for publication , Available at \n                      http:\/\/www.cs.wisc.edu\/wpis\/papers\/tr1383.ps","DOI":"10.1145\/292540.292552"},{"key":"15_CR18","doi-asserted-by":"crossref","unstructured":"Tjiang, S.W.K., Hennessy, J.: Sharlit\u2014a tool for building optimizers. In: SIGPLAN Conf. on Prog. Lang. Design and Impl., June 1992, pp. 82\u201393 (1992)","DOI":"10.1145\/143095.143120"},{"key":"15_CR19","series-title":"The New Technologies","volume-title":"Principles of Database and Knowledge-Base Systems","author":"J.D. Ullman","year":"1989","unstructured":"Ullman, J.D.: Principles of Database and Knowledge-Base Systems. The New Technologies, vol.\u00a0II. Comp. Sci. Press, Rockville, MD (1989)"}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-45099-3_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T14:13:10Z","timestamp":1778249590000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-540-45099-3_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540676683","9783540450993"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45099-3_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2000]]}}}