{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,8]],"date-time":"2025-07-08T14:08:01Z","timestamp":1751983681716},"publisher-location":"London","reference-count":12,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540197423"},{"type":"electronic","value":"9781447134947"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/978-1-4471-3494-7_15","type":"book-chapter","created":{"date-parts":[[2013,3,1]],"date-time":"2013-03-01T04:16:55Z","timestamp":1362111415000},"page":"205-220","source":"Crossref","is-referenced-by-count":6,"title":["Specialisation of a Unification Algorithm"],"prefix":"10.1007","author":[{"given":"D. A.","family":"de Waal","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Gallagher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","unstructured":"K. Benkerimi and J.W. Lloyd; A Procedure for Partial Evaluation of Logic Programs; Proceedings of the North American Conference on Logic Programming, November 1990, Austin, Texas; (eds. S. Debray and M. Hermenegildo); MIT Press 1990."},{"key":"15_CR2","unstructured":"M. Bruynooghe; A Practical Framework for the Abstract Interpretation of Logic Programs: to appear in Journal of Logic Programming."},{"key":"15_CR3","unstructured":"D. Chan and M. Wallace; A Treatment of Negation During Partial Evaluation; in M eta-Programming in Logic Programming; eds. H. Abramson and M.H. Rogers, MIT Press, 1989."},{"key":"15_CR4","unstructured":"J. Gallagher and M. Buynooghe; Some Low-Level Source Transformations for Logic Programs; Proceedings of Meta90 Workshop on Meta Programming in Logic, Leuven, Belgium, (April 1990)."},{"key":"15_CR5","unstructured":"J. Gallagher and M. Bruynooghe; The Derivation of an Algorithm for Program Specialisation; 7th Int. Conf. on Logic Programming, Jerusalem, eds. D.H.D. Warren and P. Szeredi, MIT Press, June 1990."},{"key":"15_CR6","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/BF03037136","volume":"6","author":"J Gallagher","year":"1988","unstructured":"J. Gallagher, M. Codish, E. Shapiro; Specialisation of Prolog and FCP Programs Using Abstract Interpretation; New Generation Computing, 6 (1988) 159\u2013186.","journal-title":"New Generation Computing"},{"key":"15_CR7","unstructured":"J. Gallagher; SP: A System for Specialising Logic programs; Technical Report, University of Bristol."},{"key":"15_CR8","unstructured":"P.M. Hill and J.W. Lloyd; Analysis of Meta-Programs; in M eta-Programming in Logic Programming; eds. H. Abramson and M.H. Rogers, MIT Press, 1989."},{"key":"15_CR9","unstructured":"G. Janssens and M. Bruynooghe; Deriving Descriptions of Possible Valuam Variables by Means of Abstract Interpretation; Katholieke Univ. Leuven, CW-Report 108, 1990 (to appear in Journal of Logic Programming)."},{"key":"15_CR10","unstructured":"J.W. Lloyd and J.C. Shepherdson; Partial Evaluation in Logic Programming; University of Bristol, Department of Computer Science, TR-87-09 (1987) (revised 1989); (to appear in Journal of Logic Programming)."},{"key":"15_CR11","unstructured":"H. Seki; Unfold\/Fold transformations of Stratified Programs; in Proc. of the 6th Int. Conf. on Logic Programming, Lisbon, 1989, eds. G. Levi and M. Martelli, MIT Press, 1989."},{"key":"15_CR12","unstructured":"L. Sterling and E. Shapiro; The Art of Prolog; MIT Press (1986)"}],"container-title":["Workshops in Computing","Logic Program Synthesis and Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3494-7_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,11]],"date-time":"2019-05-11T13:22:10Z","timestamp":1557580930000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3494-7_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540197423","9781447134947"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3494-7_15","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1992]]}}}