{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,8]],"date-time":"2025-07-08T14:07:39Z","timestamp":1751983659475},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"2-3","license":[{"start":{"date-parts":[[1988,9,1]],"date-time":"1988-09-01T00:00:00Z","timestamp":589075200000},"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":[[1988,9]]},"DOI":"10.1007\/bf03037136","type":"journal-article","created":{"date-parts":[[2009,4,22]],"date-time":"2009-04-22T02:58:38Z","timestamp":1240369118000},"page":"159-186","source":"Crossref","is-referenced-by-count":38,"title":["Specialisation of Prolog and FCP programs using abstract interpretation"],"prefix":"10.1007","volume":"6","author":[{"given":"John","family":"Gallagher","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Codish","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ehud","family":"Shapiro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF03037136_CR1","unstructured":"Cousot, P. and Cousot, R., \u201cAbstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints,\u201dPOPL 77."},{"key":"BF03037136_CR2","unstructured":"Mycroft, A., \u201cAbstract Interpretation and Optimising Transformations for Applicative Programs, \u201cPh. D Thesis, University of Edinburgh, Dept. of Comp. Sci., Dec., 1981."},{"key":"BF03037136_CR3","unstructured":"Bruynooghe, M., Janssens, G., Callebaut, A. and Demoen, B., \u201cAbstract Interpretation: Towards the Global Optimisation of Prolog Programs,\u201dProceedings of IEEE Symposium on Logic Programming, San Francisco, 1987."},{"key":"BF03037136_CR4","unstructured":"Debray, S. K., \u201cGlobal Optimizations of Logic Programs,\u201dPh. D Thesis, State University of New York at Stony Brook, December, 1986."},{"key":"BF03037136_CR5","unstructured":"Jones, N. D. and S\u00f8ndergaard, H., \u201cA Semantics-Based Framework for the Abstract Interpretation of Prolog,\u201d inAbstract Interpretation of Declarative Languages (S. Abramsky and C. Hankin eds.), Ellis Horwood, 1987."},{"key":"BF03037136_CR6","unstructured":"Kanamori, T. and Kawamura, T., \u201cAnalyzing Success Patterns of Logic Programs by Abstract Hybrid Interpretation,\u201dICOT Technical Report, 1987."},{"key":"BF03037136_CR7","unstructured":"Mannila, H. and Ukkonen, E., \u201cFlow Analysis of Prolog Programs\u201d,Proceedings of IEEE Symposium on Logic Programming, San Francisco, 1987."},{"key":"BF03037136_CR8","doi-asserted-by":"crossref","unstructured":"Mellish, C. S., \u201cAbstract Interpretation of Prolog Programs\u201d,Proc. 3rd ICLP LNCS 225, Springer-Verlag, 1986.","DOI":"10.1007\/3-540-16492-8_95"},{"key":"BF03037136_CR9","doi-asserted-by":"crossref","unstructured":"Shapiro E., \u201cConcurrent Prolog: A Progress Report,\u201dIEEE Computer, August, 1986.","DOI":"10.1109\/MC.1986.1663307"},{"key":"BF03037136_CR10","doi-asserted-by":"crossref","unstructured":"Harel D. and Pnueli A., \u201cOn The Development of Reactive Systems,\u201d inLogics and Models of Concurrent Systems (K. R. Apt ed)., Springer-Verlag, 1985.","DOI":"10.1007\/978-3-642-82453-1_17"},{"key":"BF03037136_CR11","doi-asserted-by":"crossref","unstructured":"Brock, J. D. and Ackerman, W. B., \u201cScenarios: A Model of Non-determinate Computations,\u201d in Dias and Ramos (eds.),Formalization of programming Concepts, LNCS 107, pp. 251\u2013259, Springer-Verlag, 1981.","DOI":"10.1007\/3-540-10699-5_102"},{"key":"BF03037136_CR12","unstructured":"Takeuchi, A., \u201cAffinity Between Meta Interpreters and Partial Evaluation,\u201d ICOT Technical Report, TR-166 (April 1986)"},{"key":"BF03037136_CR13","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1016\/S0747-7171(85)80027-4","volume":"1","author":"E. Eder","year":"1985","unstructured":"Eder, E., \u201cProperties of Substitutions and Unifications,\u201dJ. Symbolic Computation (1985) 1, pp. 31\u201346.","journal-title":"J. Symbolic Computation"},{"issue":"5","key":"BF03037136_CR14","first-page":"45","volume":"2","author":"Y. Futamura","year":"1971","unstructured":"Futamura, Y., \u201cPartial Evaluation of Computation Process: An Approach to a Compiler Compiler,\u201dSystems, Computers, Controls, 2(5), pp. 45\u201350, 1971.","journal-title":"Systems, Computers, Controls"},{"issue":"2","key":"BF03037136_CR15","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1016\/0020-0190(77)90078-3","volume":"6","author":"A. P. Ershov","year":"1977","unstructured":"Ershov, A. P., \u201cOn the Partial Computation Principle,\u201d,Information Processing Letters; 6(2): 38\u201341, April 1977.","journal-title":"Information Processing Letters"},{"key":"BF03037136_CR16","doi-asserted-by":"crossref","unstructured":"Jones, N., Sestoft, P. and S\u00f8ndergaard, H. \u201cAn experiment in Partial Evaluation: The Generation of a Compiler Generator,\u201d in J. P. Jouannaud (ed.),Rewriting Techniques and Applications, Dijon, France, 1985, LNCS 202, pp. 124\u2013140, Springer-Verlag.","DOI":"10.1145\/988346.988358"},{"key":"BF03037136_CR17","doi-asserted-by":"crossref","unstructured":"Tamaki, H. and Sato, T., \u201cOLD Resolution with Tabulation\u201d, Proc. 3rd ICLP, LNCS, 225, Springer-Verlag, 1986.","DOI":"10.1007\/3-540-16492-8_66"},{"key":"BF03037136_CR18","series-title":"Report CW","volume-title":"A Framework for the Abstract Interpretation of Prolog","author":"M. Bruynooghe","year":"1987","unstructured":"Bruynooghe, M., \u201cA Framework for the Abstract Interpretation of Prolog\u201d, Report CW 62, Dept. of Computer Science, Katholieke Universiteit Leuven, Belgium, October 1987."},{"key":"BF03037136_CR19","unstructured":"Winsborough, W., \u201cA Minimal Graph Semantics for Logic Programs,\u201d University of Wisconsin \u2014Madison Technical Report, Dept. of Computer Science, August 1987."},{"key":"BF03037136_CR20","unstructured":"Fujita, H., \u201cAbstract Interpretation and Partial Evaluation of Prolog Programs,\u201d ICOT Technical Report, September 1986."},{"key":"BF03037136_CR21","unstructured":"Safra, S., \u201cPartial Evaluation of Concurrent Prolog and its Implications\u201d, Masters Thesis, Technical Report, CS 86-24, Dept. of Computer Science Weizmann Institute (1986)."},{"key":"BF03037136_CR22","unstructured":"Furukawa, K., Okumura, A. and Murakami, M., \u201cUnfolding Rules for GHC Programs,\u201d ICOT Technical Report, 1987."},{"key":"BF03037136_CR23","doi-asserted-by":"crossref","unstructured":"Gerth, R., Codish, M., Lichtenstein, Y. and Shapiro, E., \u201cFully Abstract Denotational Semantics for Concurrent Prolog,\u201d Proc. LICS\u201988, Edinburgh (1988).","DOI":"10.1109\/LICS.1988.5130"}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037136.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF03037136\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037136","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\/BF03037136"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988,9]]},"references-count":23,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[1988,9]]}},"alternative-id":["BF03037136"],"URL":"https:\/\/doi.org\/10.1007\/bf03037136","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"value":"0288-3635","type":"print"},{"value":"1882-7055","type":"electronic"}],"subject":[],"published":{"date-parts":[[1988,9]]}}}