{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,11,11]],"date-time":"2026-11-11T07:11:37Z","timestamp":1794381097645,"version":"4.9.0"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540227915","type":"print"},{"value":"9783540278641","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-27864-1_18","type":"book-chapter","created":{"date-parts":[[2010,9,16]],"date-time":"2010-09-16T12:35:37Z","timestamp":1284640537000},"page":"228-245","source":"Crossref","is-referenced-by-count":20,"title":["Quantitative Shape Analysis"],"prefix":"10.1007","author":[{"given":"Radu","family":"Rugina","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"18_CR1","doi-asserted-by":"crossref","unstructured":"Ball, T., Majumdar, R., Millstein, T., Rajamani, S.: Automatic predicate abstraction of C programs. In: Proceedings of the SIGPLAN 2001 Conference on Program Language Design and Implementation, Snowbird, UT (June 2001)","DOI":"10.1145\/378795.378846"},{"key":"18_CR2","doi-asserted-by":"crossref","unstructured":"Ball, T., Rajamani, S.: Bebop: A symbolic model checker for boolean programs. In: Proceedings of the 7th International SPIN Workshop on Model Checking of Software, Stanford University, CA (August 2000)","DOI":"10.1007\/10722468_7"},{"key":"18_CR3","doi-asserted-by":"crossref","unstructured":"Ball, T., Rajamani, S.: The SLAM project: Debugging system software via static analysis. In: Proceedings of the 29th Annual ACM Symposium on the Principles of Programming Languages, Portland, OR (January 2002)","DOI":"10.1145\/503272.503274"},{"key":"18_CR4","doi-asserted-by":"crossref","unstructured":"Chong, S., Rugina, R.: Static analysis of accessed regions in recursive data structures. In: Proceedings of the 10th International Static Analysis Symposium, San Diego, CA (June 2003)","DOI":"10.1007\/3-540-44898-5_26"},{"key":"18_CR5","doi-asserted-by":"crossref","unstructured":"Dor, N., Rodeh, M., Sagiv, M.: Checking cleanness in linked lists. In: Proceedings of the 7th International Static Analysis Symposium, Santa Barbara, CA (July 2000)","DOI":"10.1007\/978-3-540-45099-3_7"},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"Hickey, J., Nogin, A., Constable, R., Aydemir, B., Barzilay, E., Bryukhov, Y., Eaton, R., Granicz, A., Kopylov, A., Kreitz, C., Krupski, V., Lorigo, L., Schmitt, S., Witty, C., Yu, X.: MetaPRL \u2013 a modular logical environment. In: Proceedings of the 16th International Conference on Theorem Proving in Higher Order Logics (September 2003)","DOI":"10.1007\/10930755_19"},{"key":"18_CR7","doi-asserted-by":"crossref","unstructured":"Klarlund, N., Schwartzbach, M.: Graph types. In: Proceedings of the 20th Annual ACM Symposium on the Principles of Programming Languages, Charleston, SC (January 1993)","DOI":"10.1145\/158511.158628"},{"key":"18_CR8","unstructured":"Kopylov, A.: Type Theoretical Foundations for Data Structures, Classes, and Objects. PhD thesis, Dept. of Computer Science, Cornell Univ., Ithaca, NY (January 2004)"},{"key":"18_CR9","doi-asserted-by":"crossref","unstructured":"Kuncak, V., Lam, P., Rinard, M.: Role analysis. In: Proceedings of the 29th Annual ACM Symposium on the Principles of Programming Languages, Portland, OR (January 2002)","DOI":"10.1145\/503272.503276"},{"key":"18_CR10","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: 2000 International Symposium on Software Testing and Analysis (August 2000)","DOI":"10.1145\/347324.348031"},{"key":"18_CR11","doi-asserted-by":"crossref","unstructured":"Moller, A., Schwartzbach, M.: The pointer assertion logic engine. In: Proceedings of the ACM Conference on Program Language Design and Implementation, Snowbird, UT (June 2001)","DOI":"10.1145\/378795.378851"},{"key":"18_CR12","unstructured":"Anders M\u00f8ller. MONA project home page, \n                    \n                      http:\/\/www.brics.dk\/MONA"},{"key":"18_CR13","doi-asserted-by":"crossref","unstructured":"Reps, T., Sagiv, M., Loginov, A.: Finite differencing of logical formulas for static analysis. In: Proceedings of the 12th European Symposium on Programming, Warsaw, Poland (April 2003)","DOI":"10.1007\/3-540-36575-3_26"},{"key":"18_CR14","doi-asserted-by":"crossref","unstructured":"Rinetzky, N., Sagiv, M.: Interprocedural shape analysis for recursive programs. In: Proceedings of the 2001 International Conference on Compiler Construction, Genova, Italy (April 2001)","DOI":"10.1007\/3-540-45306-7_10"},{"key":"18_CR15","doi-asserted-by":"crossref","unstructured":"Sagiv, M., Reps, T., Wilhelm, R.: Solving shape-analysis problems in languages with destructive updating. In: Proceedings of the 23rd Annual ACM Symposium on the Principles of Programming Languages, St. Petersburg Beach, FL (January 1996)","DOI":"10.1145\/237721.237725"},{"issue":"1","key":"18_CR16","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. ACMTransactions on Programming Languages and Systems\u00a020(1), 1\u201350 (1998)","journal-title":"ACMTransactions on Programming Languages and Systems"},{"key":"18_CR17","doi-asserted-by":"crossref","unstructured":"Sagiv, M., Reps, T., Wilhelm, R.: Parametric shape analysis via 3-valued logic. ACM Transactions on Programming Languages and Systems\u00a024(3) (May 2002)","DOI":"10.1145\/514188.514190"},{"key":"18_CR18","doi-asserted-by":"crossref","unstructured":"Wilhelm, R., Sagiv, M., Reps, T.: Shape analysis. In: Proceedings of the 2000 International Conference on Compiler Construction, Berlin, Germany (April 2000)","DOI":"10.1007\/3-540-46423-9_1"},{"key":"18_CR19","doi-asserted-by":"crossref","unstructured":"Yavuz-Kahveci, T., Bultan, T.: Automated verification of concurrent linked lists with counters. In: Proceedings of the 9th International Static Analysis Symposium, Madrid, Spain (September 2002)","DOI":"10.1007\/3-540-45789-5_8"}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-27864-1_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,2]],"date-time":"2021-05-02T23:31:43Z","timestamp":1619998303000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27864-1_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540227915","9783540278641"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27864-1_18","relation":{"is-part-of":[{"id-type":"doi","id":"https:\/\/doi.org\/10.1007\/b99688","asserted-by":"object"}]},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004]]}}}