{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T16:45:27Z","timestamp":1648831527840},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1993,6,1]],"date-time":"1993-06-01T00:00:00Z","timestamp":738892800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["New Gener Comput"],"published-print":{"date-parts":[[1993,6]]},"DOI":"10.1007\/bf03037156","type":"journal-article","created":{"date-parts":[[2009,4,22]],"date-time":"2009-04-22T02:58:00Z","timestamp":1240369080000},"page":"125-157","source":"Crossref","is-referenced-by-count":6,"title":["Difference-list transformation for Prolog"],"prefix":"10.1007","volume":"11","author":[{"given":"Kim","family":"Marriott","sequence":"first","affiliation":[]},{"given":"Harald","family":"S\u00f8ndergaard","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"BF03037156_CR1","volume-title":"Source-to-Source Transformations of Logic Programs","author":"C. Bloch","year":"1984","unstructured":"Bloch, C., \u201cSource-to-Source Transformations of Logic Programs\u201d,M. Sc. dissertation, Weizmann Institute of Science, Rehovot, Israel, 1984."},{"key":"BF03037156_CR2","unstructured":"Bruynooghe, M., Janssens, G., Callebaut, A. and Demoen, B., \u201cAbstract Interpretation: Towards the Global Optimization of Prolog Programs\u201d, inProc. Fourth Int. Symp. Logic Programming, San Francisco, California, pp. 192\u2013204, 1987."},{"key":"BF03037156_CR3","unstructured":"Clark, K. and T\u00e4rnlund, S.-\u00c5., \u201cA First Order Theory of Data and Programs,\u201d inInformation Processing (B. Gilchrist, ed.), North-Holland, pp. 939\u2013944, 1977."},{"key":"BF03037156_CR4","doi-asserted-by":"crossref","unstructured":"Colmerauer, A., \u201cMetamorphosis Grammars,\u201d inNatural Language Communication with Computers (Lecture Notes in Computer Science 63) (L. Bolc, ed.), Springer-Verlag, pp. 133\u2013189, 1978.","DOI":"10.1007\/BFb0031371"},{"issue":"3","key":"BF03037156_CR5","doi-asserted-by":"crossref","first-page":"418","DOI":"10.1145\/65979.65983","volume":"11","author":"S. K. Debray","year":"1989","unstructured":"Debray, S. K., \u201cStatic Inference of Modes and Data Dependencies in Logic Programs,\u201dACM Transactions on Programming Languages and Systems, 11, 3, pp. 418\u2013450, 1989.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"BF03037156_CR6","unstructured":"Gardner, P. and Shepherdson, J., \u201cUnfold\/Fold Transformations of Logic Programs\u201d, inComputational Logic: Essays in Honor of Alan Robinson (J.-L. Lassez and G. Plotkin, ed.), MIT Press, pp. 565\u2013583, 1991."},{"key":"BF03037156_CR7","unstructured":"Hansson, A. and T\u00e4rnlund, S.-\u00c5., \u201cProgram Transformation by Data Structure Mapping,\u201d inLogic Programming (K. Clark and S.-\u00c5. T\u00e4rnlund, ed.) Academic Press, pp. 117\u2013122, 1982."},{"key":"BF03037156_CR8","doi-asserted-by":"crossref","unstructured":"Lassez, J.-L., Maher, M. J. and Marriott, K., \u201cUnification Revisited\u201d, inFoundations of Deductive Databases and Logic Programming (J. Minker, ed.), Morgan Kaufmann, pp. 587\u2013625, 1988.","DOI":"10.1016\/B978-0-934613-40-8.50019-1"},{"issue":"5","key":"BF03037156_CR9","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1145\/66068.66075","volume":"24","author":"K. Marriott","year":"1989","unstructured":"Marriott, K. and S\u00f8ndergaard, H., \u201cOn Prolog and the Occur Check Problem,\u201dSIGPLAN Notices, 24, 5, pp. 76\u201382, 1989.","journal-title":"SIGPLAN Notices"},{"key":"BF03037156_CR10","unstructured":"Marriott, K. and S\u00f8ndergaard, H., \u201cProlog Program Transformation by Introduction of Difference-Lists,\u201d inProc. Int. Computer Science Conf. 88, IEEE Computer Society, Hong Kong, pp. 206\u2013213, 1988."},{"key":"BF03037156_CR11","doi-asserted-by":"crossref","unstructured":"S\u00f8ndergaard, H., \u201cAn Application of Abstract Interpretation of Logic Programs: Occur Check Reduction\u201d, inProc. ESOP 86 (Lecture Notes in Computer Science 213) (B. Robinet and R. Wilhelm, ed.), Springer-Verlag, pp. 327\u2013338, 1986.","DOI":"10.1007\/3-540-16442-1_25"},{"key":"BF03037156_CR12","unstructured":"Sterling, L. and Shapiro, E.,The Art of Prolog: Advanced Programming Techniques, MIT Press, 1986."},{"key":"BF03037156_CR13","unstructured":"Tamaki, H. and Sato, T., \u201cUnfold\/Fold Transformation of Logic Programs,\u201d inProc. Second Int. Conf. Logic Programming (S.-\u00c5. T\u00e4rnlund, ed.), Uppsala, Sweden, pp. 127\u2013138, 1984."},{"key":"BF03037156_CR14","doi-asserted-by":"crossref","unstructured":"T\u00e4rnlund, S.-\u00c5., \u201cAn Axiomatic Data Base Theory,\u201d inLogic and Databases (H. Gallaire and J. Minker, ed.), Plenum Press, pp. 259\u2013289, 1978.","DOI":"10.1007\/978-1-4684-3384-5_10"},{"key":"BF03037156_CR15","volume-title":"Automatic, Transparent Parallelization of Logic Programs at Compile Time","author":"W. Winsborough","year":"1988","unstructured":"Winsborough, W., \u201cAutomatic, Transparent Parallelization of Logic Programs at Compile Time\u201d,Ph. D. thesis, University of Wisconsin-Madison, Wisconsin, 1988."},{"key":"BF03037156_CR16","unstructured":"Zhang, J. and Grant, P., \u201cAn Automatic Difference-List Transformation Algorithm for Prolog\u201d, inProc. 1988 EuropeanConf. Artificial Intelligence (Y. Kodratoff, ed.), Pitman, pp, 320\u2013325, 1988."}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037156.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF03037156\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037156","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T00:52:30Z","timestamp":1558572750000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF03037156"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,6]]},"references-count":16,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1993,6]]}},"alternative-id":["BF03037156"],"URL":"https:\/\/doi.org\/10.1007\/bf03037156","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"value":"0288-3635","type":"print"},{"value":"1882-7055","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993,6]]}}}