{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:23:16Z","timestamp":1725664996882},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540617563"},{"type":"electronic","value":"9783540706540"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61756-6_79","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:21:15Z","timestamp":1330276875000},"page":"92-106","source":"Crossref","is-referenced-by-count":0,"title":["Annotated structure shape graphs for abstract analysis of Prolog"],"prefix":"10.1007","author":[{"given":"Geoffrey","family":"Weyer","sequence":"first","affiliation":[]},{"given":"William","family":"Winsborough","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"7_CR1","unstructured":"B. Burton, G. Gudjonsson, and W. Winsborough. An algorithm for computing alternating closure. Technical Report CS-92-15, Penn State, June 1992."},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"J.D. Choi, M.G. Burke, and P. Carini. Efficient flow-sensitive interprocedural computation of pointer-induced aliases and side-effects. POPL, pages 232\u2013245, January 1993.","DOI":"10.1145\/158511.158639"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"D.R. Chase, M. Wegman, and F.K. Zadeck. Analysis of pointers and structures. PLDI, pages 20\u201322, June 1990.","DOI":"10.1145\/93542.93585"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"A. Deutsch. Interprocedural may-alias analysis for pointers: Beyond k-limiting. PLDI, pages 230\u2013241, June 1994.","DOI":"10.1145\/178243.178263"},{"key":"7_CR5","unstructured":"G. Gudjonsson and W. Winsborough. Update in place: Overview of the siva project. In Dale Miller, editor, ILPS, pages 94\u2013113. MIT Press, 1993."},{"key":"7_CR6","unstructured":"N. Heintze. Practical aspects of set based analysis. In Krzysztok Apt, editor, JICSLP, pages 765\u2013779. MIT Press, 1992."},{"issue":"2","key":"7_CR7","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1016\/0743-1066(92)90032-X","volume":"13","author":"G. Janssens","year":"1992","unstructured":"G. Janssens and M. Bruynooghe. Deriving descriptions of possible values of program variables by means of abstract interpretation. Journal of Logic Programming, 13(2&3):205\u2013258, July 1992.","journal-title":"Journal of Logic Programming"},{"key":"7_CR8","unstructured":"N.D. Jones and S. Muchnick. Flow analysis and optimzation of lisp-like structures. In S. Muchnick and N.D. Jones, editors, Program Flow Analysis: Theory and Applications, pages 102\u2013131. Prentice-Hall, 1981."},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"N.D. Jones and S. Muchnick. A flexible approach to interprocedural data flow analysis and programs with recursive data structures. POPL, pages 66\u201374, 1982.","DOI":"10.1145\/582153.582161"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"A. Kagedal. Improvements in compile-time analysis for ground prolog. In M. Bruynooghe, J. Penjam, editors, PLILP. LNCS 714, Springer-Verlag, August 1993.","DOI":"10.1007\/3-540-57186-8_73"},{"key":"7_CR11","unstructured":"F. Klu\u017aniak. Compile-time garbage collection for ground Prolog. In R. A. Kowalski and K. A. Bowen, editors, ICSLP, pages 1490\u20131505. MIT Press, August 1988."},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"J. R. Larus and P. N. Hilfinger. Detecting conflicts between structure accesses. PLDI, pages 21\u201334, July 1988.","DOI":"10.1145\/53990.53993"},{"key":"7_CR13","unstructured":"B. Le Charlier and P. Van Hentenryck. Experimental evaluation of a generic abstract interpretation algorithm for prolog (extended abstract). Fourth IEEE International Conference on Computer Languages, April 1992."},{"key":"7_CR14","unstructured":"A. Marien, G. Janssens, A. Mulkers, and M. Bruynooghe. The impact of abstract interpretation: An experiment in code generation. In G. Levi and M. Martelli, editors, ICLP. MIT Press, 1989."},{"key":"7_CR15","unstructured":"A. Mulkers, W. Winsborough, and M. Bruynooghe. Analysis of shared data structures for compile-time garbage collection in logic programs. In D. H. D. Warren and P. Szeredi, editors, ICLP. MIT Press, 1990."},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"A. Mulkers, W. Winsborough, and M. Bruynooghe. Live-structure dataflow analysis for Prolog. TOPLAS, 16, 1994.","DOI":"10.1145\/174662.174664"},{"key":"7_CR17","doi-asserted-by":"crossref","first-page":"158","DOI":"10.1016\/0022-0000(78)90043-0","volume":"16","author":"M. S. Patterson","year":"1978","unstructured":"M. S. Patterson and M. N. Wegman. Linear unification. Journal of computer and system sciences, 16:158\u2013167, 1978.","journal-title":"Journal of computer and system sciences"},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"P. Van Hentenryck, A. Cortesi, and B. Le Charlier. Type analysis of prolog using type graphs. PLDI, 1994.","DOI":"10.1145\/178243.178479"},{"key":"7_CR19","unstructured":"G. Weyer. Structure shape graphs with explicit sharing for prolog-like languages. Master's thesis, Dept of Computer Science and Engineering, Penn State, May 1996."}],"container-title":["Lecture Notes in Computer Science","Programming Languages: Implementations, Logics, and Programs"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61756-6_79.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:10:20Z","timestamp":1605629420000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61756-6_79"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540617563","9783540706540"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-61756-6_79","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}