{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:12:09Z","timestamp":1725664329923},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540603603"},{"type":"electronic","value":"9783540450504"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60360-3_54","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T18:20:13Z","timestamp":1330280413000},"page":"420-421","source":"Crossref","is-referenced-by-count":1,"title":["IGOR: A tool for developing Prolog dataflow analyzers"],"prefix":"10.1007","author":[{"given":"Magnus","family":"Nordin","sequence":"first","affiliation":[]},{"given":"Thomas","family":"Lindgren","sequence":"additional","affiliation":[]},{"given":"H\u00e5kan","family":"Millroth","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"27_CR1","doi-asserted-by":"crossref","unstructured":"T. Lindgren, J. Bevemyr & H. Millroth, Compiler Optimizations in Reform Prolog: Experiments on the KSR-1 Multiprocessor, in Proc. EURO-PAR'95, Springer Verlag, 1995.","DOI":"10.1007\/BFb0020492"},{"key":"27_CR2","volume-title":"PEPM'91","author":"M. Codish","year":"1991","unstructured":"M. Codish, A. Mulkers, M. Bruynooghe, M. Garc\u00eda de la Banda & M. Hermenegildo, Improving abstract interpretations by combining domains, Proc. Symp. Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91, Yale University, Connecticut, 1991."},{"issue":"No.3","key":"27_CR3","doi-asserted-by":"crossref","first-page":"418","DOI":"10.1145\/65979.65983","volume":"11","author":"S. K. Debray","year":"1989","unstructured":"S.K. Debray, Static inference of modes and data dependencies in logic programs, ACM Trans. Programming Languages and Systems, Vol. 11, No. 3, pp. 418\u2013450, July 1989.","journal-title":"ACM Trans. Programming Languages and Systems"},{"key":"27_CR4","doi-asserted-by":"crossref","unstructured":"S.K. Debray, Efficient dataflow analysis of logic programs, J. ACM, Vol. 39, No. 4, October 1992.","DOI":"10.1145\/146585.146624"},{"key":"27_CR5","unstructured":"T.W. Getzinger, Abstract interpretation for the compile-time optimization of logic programs, Ph.D. Thesis, University of South California, Report 93\/09, 1993."},{"key":"27_CR6","unstructured":"D. Jacobs & A. Langen, Accurate and efficient approximation of variable aliasing in logic programs, Proc. North American Conf. Logic Programming 1989, pp. 154\u2013165, 1989."},{"key":"27_CR7","doi-asserted-by":"crossref","unstructured":"M. Nordin, T. Lindgren, H. Millroth. Igor: A tool for developing Prolog dataflow analyzers, Technical report 111, Computing Science Department, Uppsala University, July 1995.","DOI":"10.1007\/3-540-60360-3_54"},{"key":"27_CR8","unstructured":"M. Nordin, Igor: A tool for developing abstract domains for Prolog, Licentiate of Philosophy thesis, forthcoming, 1995."},{"key":"27_CR9","doi-asserted-by":"crossref","unstructured":"R. Sundararajan, An abstract interpretation scheme for groundness, freeness, and sharing analysis of logic programs, Technical Report CIS-TR-91-06, Dept. of Computer and Information Science, University of Oregon, 1991","DOI":"10.1007\/3-540-56287-7_106"},{"key":"27_CR10","doi-asserted-by":"crossref","unstructured":"K. Yi & W.L. Harrison III, Automatic generation and management of interprocedural program analyses, The 20th Annual ACM Symposium on Principles of Programming Languages, January 1993.","DOI":"10.1145\/158511.158642"}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60360-3_54.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,20]],"date-time":"2023-06-20T18:59:17Z","timestamp":1687287557000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60360-3_54"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540603603","9783540450504"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-60360-3_54","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}