{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:05:19Z","timestamp":1725663919383},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540571865"},{"type":"electronic","value":"9783540479451"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57186-8_73","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:15:16Z","timestamp":1330258516000},"page":"92-107","source":"Crossref","is-referenced-by-count":1,"title":["Improvements in compile-time analysis for Ground Prolog"],"prefix":"10.1007","author":[{"given":"Andreas","family":"K\u00e5gedal","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"7_CR1","unstructured":"M. Bruynooghe, G. Janssens, A. Callebaut, and B. Demoen. Abstract interpretation: Towards the global optimization of Prolog programs. In Proceedings of the 1987 Symposium on Logic Programming [5], pages 192\u2013204."},{"key":"7_CR2","volume-title":"Technical Report CW43","author":"M. Bruynooghe","year":"1986","unstructured":"Maurice Bruynooghe. Compile time garbage collection. Technical Report CW43, Departement Computerwetenschappen,Katholieke Universiteit, Leuven, 1986."},{"key":"7_CR3","unstructured":"Maurice Bruynooghe. Compile time garbage collection or how to transform programs in an assignment-free language into code with assignments. In IFIP TC 2 Working Conference on Program Specification and Transformation, Bad T\u00f6lz, F.R. Germany, 1986."},{"key":"7_CR4","unstructured":"W. Drabent. Do logic programs resemble programs in conventional languages? In Proceedings of the 1987 Symposium on Logic Programming [5], pages 389\u2013397."},{"key":"7_CR5","volume-title":"Proceedings of the 1987 Symposium on Logic Programming","author":"IEEE","year":"1987","unstructured":"IEEE. Proceedings of the 1987 Symposium on Logic Programming, San Francisco, August\u2013September 1987. Computer Society Press."},{"key":"7_CR6","volume-title":"Licentiate thesis no. 326","author":"A. K\u00e5gedal","year":"1992","unstructured":"Andreas K\u00e5gedal. Logic Programming with External Procedures: an Implementation. Licentiate thesis no. 326, Link\u00f6ping University, Dept. of Computer and Information Science, S-581 83 Link\u00f6ping, Sweden, 1992."},{"key":"7_CR7","series-title":"MIT Press Series in Logic Programming","first-page":"788","volume-title":"Type synthesis for Ground Prolog","author":"F. Klu\u017aniak","year":"1987","unstructured":"F. Klu\u017aniak. Type synthesis for Ground Prolog. In Jean-Louis Lassez, editor, Proceedings of the Fourth International Conference on Logic Pro gramming, MIT Press Series in Logic Programming, pages 788\u2013816, Melbourne, 1987. The MIT Press."},{"key":"7_CR8","volume-title":"Prolog for Programmers","author":"F. Klu\u017aniak","year":"1985","unstructured":"F. Klu\u017aniak and S. Szpakowicz. Prolog for Programmers. Academic Press, London, 1985."},{"key":"7_CR9","unstructured":"Feliks Klu\u017aniak. Static Analysis of Logic Programs. PhD thesis, Warsaw University, 1986. in Polish; unpublished."},{"key":"7_CR10","first-page":"1490","volume-title":"Compile time garbage collection for Ground Prolog","author":"F. Klu\u017aniak","year":"1988","unstructured":"Feliks Klu\u017aniak. Compile time garbage collection for Ground Prolog. In Robert A. Kowalski and Kenneth A. Bowen, editors, Proceedings of the Fifth International Conference and Symposium on Logic Programming, pages 1490\u20131505, Seatle, 1988. ALP, IEEE, The MIT Press."},{"issue":"1","key":"7_CR11","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/0743-1066(85)90004-4","volume":"2","author":"C. S. Mellish","year":"1985","unstructured":"C. S. Mellish. Some global optimizations for a Prolog compiler. The Journal of Logic Programming, 2(1):43\u201366, April 1985.","journal-title":"The Journal of Logic Programming"},{"key":"7_CR12","unstructured":"Anne Mulkers. Deriving Live Data Structures in Logic Programs by Means of Abstract Interpretation. PhD thesis, Department of Computer Science, Katholieke Universiteit Leuven, December 1991. To appear as Lecture Notes in Computer Science 675, Springer-Verlag."},{"key":"7_CR13","unstructured":"Peter Lodewijk Van Roy. Can Logic Programming Execute as Fast as Imperative Programming? PhD thesis, University of California at Berkeley, November 1990. Report No. UCB\/CSD 90\/600."},{"key":"7_CR14","volume-title":"Technical Note 309","author":"D. H. D. Warren","year":"1983","unstructured":"David H. D. Warren. An abstract Prolog instruction set. Technical Note 309, SRI International, Menlo Park, CA, October 1983."}],"container-title":["Lecture Notes in Computer Science","Progamming Language Implementation and Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57186-8_73.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T00:59:48Z","timestamp":1619571588000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57186-8_73"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540571865","9783540479451"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-57186-8_73","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}