{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,8]],"date-time":"2025-07-08T14:07:57Z","timestamp":1751983677483},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540508205"},{"type":"electronic","value":"9783540460923"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/3-540-50820-1_39","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:34:02Z","timestamp":1330202042000},"page":"35-57","source":"Crossref","is-referenced-by-count":1,"title":["An application of abstract interpretation in source level program transformation"],"prefix":"10.1007","author":[{"given":"Daniel","family":"Schreye","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maurice","family":"Bruynooghe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"Biermann A., On the inference of Turing machines from sample computations, Artificial Intelligence, Vol. 3, 1972.","DOI":"10.1016\/0004-3702(72)90048-3"},{"key":"3_CR2","unstructured":"Brough D.R., Walker A., Some practical properties of logic programming interpreters, in Proc. FGCS conference, 1984, pp. 149\u2013156."},{"key":"3_CR3","unstructured":"Bruynooghe M., De Schreye D. and Krekels B., Compiling Control, Proc.Third International Symposium on Logic Programming, 1986, pp. 70\u201378."},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"Bruynooghe M., De Schreye D. and Krekels B., Compiling Control, J.Logic Programming, to appear.","DOI":"10.1016\/0743-1066(89)90033-2"},{"key":"3_CR5","unstructured":"Bruynooghe M., Janssens G., Callebout A., Demoen B., Abstract interpretation: towards the global optimisation of Prolog programs, Proc. Fourth International Symposium on Logic Programming, 1987."},{"key":"3_CR6","unstructured":"Bruynooghe M., A framework for the abstract interpretation of logic programs, report CW62, 1987, K.U.Leuven."},{"key":"3_CR7","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1145\/321992.321996","volume":"24","author":"R. M. Burstall","year":"1977","unstructured":"Burstall R.M. and Darlington J., A transformation system for developing recursive programs, JACM, 24, 1977, pp. 44\u201367.","journal-title":"JACM"},{"key":"3_CR8","unstructured":"Clark K.I., McCabe F.G., Gregory S., IC-Prolog language features, Logic programming, ed. Clark\/Tarnlund, 1982, pp. 254\u2013266."},{"key":"3_CR9","unstructured":"Colmerauer A., Prolog II, manuel de reference et modele theoretique, Marseille, 1982."},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Cousot P., Cousot R., Abstract interpretation: A unified lattice model for static analysis of programs by construction of approximation of fixpoints, in Proc. 4th ACM POPL symposium, 1977, pp. 238\u2013252.","DOI":"10.1145\/512950.512973"},{"key":"3_CR11","unstructured":"Darlington J., Pull H., A program development methodology based on a unified approach to execution and transformation, in Proc.workshop on partial evaluation and mixed computation, 1987, Denmark."},{"key":"3_CR12","unstructured":"Debray S.K., Warren D.S., Automatic mode inferencing for Prolog programs, Proc.Third International Symposium on Logic Programming, 1986, pp. 78\u201388."},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"De Schreye D., Bruynooghe M. On the transformation of logic programs with instantiation based computation rules, J.Symbolic Computation, to appear.","DOI":"10.1016\/S0747-7171(89)80046-X"},{"key":"3_CR14","unstructured":"Fronhofer B., Double work as a reason for inefficiency of programs, Technical report T.U.M. Munchen, 1987."},{"key":"3_CR15","unstructured":"Fujita H., Abstract interpretation and partial evaluation of prolog programs, ICOT technical report, 1986."},{"key":"3_CR16","unstructured":"Gallagher J., Codish M., Specialisation of Prolog and FCP programs using abstract interpretation, in Proceedings of the workshop on partial evaluation and mixed computation, 1987, Denmark."},{"key":"3_CR17","unstructured":"Gallaire H. and Laserre C., A control meta language for logic programming, in LogicProgramming, eds. Clark L. and Tarnlund S.A., Academic Press, 1982, pp. 173\u2013185."},{"issue":"9","key":"3_CR18","doi-asserted-by":"crossref","first-page":"933","DOI":"10.1145\/4284.4287","volume":"28","author":"M. R. Genesereth","year":"1985","unstructured":"Genesereth M.R. and Ginsberg M.L., Logic Programming, CACM 28(9), Sept. 1985, pp. 933\u2013941.","journal-title":"CACM"},{"key":"3_CR19","unstructured":"Gregory S., Towards the compilation of annotated logic programs, Res.Report DOC80\/16, June 1980, Imperial College."},{"key":"3_CR20","unstructured":"Jones N.D., Sondergaard H., A semantics based framework for the abstract interpretation of Prolog, in Abstract interpretation of declarative languages, eds. Abramsky S. and Hankin C., Ellis Horwood, in print."},{"key":"3_CR21","unstructured":"Kanamari T., Kawamura T., Analyzing success patterns of Logic programs by abstract hybrid interpretation, ICOT technical report, TR 279, 1987."},{"key":"3_CR22","first-page":"463","volume":"225","author":"C. S. Mellish","year":"1986","unstructured":"Mellish C.S., Abstract interpretation of prolog programs, in Proc. 3rd International Conference on Logic Programming, 1986, LNCS 225, Springer-Verlag, 1986, pp. 463\u2013474.","journal-title":"LNCS"},{"key":"3_CR23","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1016\/0743-1066(85)90017-2","volume":"2","author":"L. Naish","year":"1985","unstructured":"Naish L., Automating control for logic programs, J. Logic Programming 2, 1985, pp. 167\u2013183.","journal-title":"J. Logic Programming"},{"issue":"3","key":"3_CR24","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1016\/0743-1066(86)90016-6","volume":"3","author":"S. Narain","year":"1986","unstructured":"Narain S., A technique for doing lazy evaluation in Logic, J.Logic Programming 3 (3), 1986, pp. 259\u2013276.","journal-title":"J.Logic Programming"},{"key":"3_CR25","unstructured":"Pelhat S., Analysis and control of recursivity in Prolog programs, Technical report CRIL, Universite de Paris-sud, 1987."},{"key":"3_CR26","unstructured":"Pereira L.M., Logic control with logic, in Implementations of Prolog, ed. Cambell, Ellis, Horwood, 1984, pp.177\u2013193."},{"key":"3_CR27","unstructured":"Sato T., Tamaki H., Transformational logic program synthesis, FGCS '84, Tokyo, 1984."},{"issue":"3","key":"3_CR28","doi-asserted-by":"crossref","first-page":"292","DOI":"10.1145\/5956.5957","volume":"8","author":"V. F. Turchin","year":"1986","unstructured":"Turchin V.F., The concept of a supercompiler, ACM Transactions on Programming Languages and Systems 8 (3), 1986, pp. 292\u2013325.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"3_CR29","volume-title":"Consistency techniques in logic programming","author":"P. Hentenryck Van","year":"1987","unstructured":"Van Hentenryck P., Consistency techniques in logic programming, Ph.D. thesis FUNDF, Namur, Belgium, 1987."},{"key":"3_CR30","unstructured":"Warren D.H.D., Coroutining facilities for Prolog, implemented in Prolog, DAI working paper, Edinburgh, 1979."}],"container-title":["Lecture Notes in Computer Science","Programming Languages Implementation and Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-50820-1_39.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:18:52Z","timestamp":1605647932000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50820-1_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540508205","9783540460923"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/3-540-50820-1_39","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1989]]}}}