{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:01:28Z","timestamp":1725663688747},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540544449"},{"type":"electronic","value":"9783540383628"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54444-5_109","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:50:04Z","timestamp":1330210204000},"page":"323-334","source":"Crossref","is-referenced-by-count":6,"title":["A technique for recursive invariance detection and selective program specialization"],"prefix":"10.1007","author":[{"given":"F.","family":"Giannotti","sequence":"first","affiliation":[]},{"given":"M.","family":"Hermenegildo","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,4]]},"reference":[{"key":"27_CR1","unstructured":"K. Benkerimi and J. Lloyd. A partial evaluation procedure for logic programs. In Proceedings of the North American Conference on Logic Programming, pages 343\u2013358. MIT Press, October 1990."},{"key":"27_CR2","unstructured":"D. Bjorner, A.P. Ershov, and N.D. Jones, editors. Partial Evaluation and Mixed Computation \u2014 Proceedings of the Gammel Avernaes Workshop. Noth-Holland, October 1987."},{"key":"27_CR3","unstructured":"M. Bruynooghe. A Framework for the Abstract Interpretation of Logic Programs. Technical Report CW62, Department of Computer Science, Katholieke Universiteit Leuven, October 1987."},{"key":"27_CR4","unstructured":"M. Bruynooghe and G. Janssens. An Instance of Abstract Interpretation Integrating Type and Mode Inference. In 5th Int. Conf. and Symp. on Logic Prog., pages 669\u2013683. MIT Press, August 1988."},{"key":"27_CR5","unstructured":"M Bugliesi and F. Russo. Partial evaluation in prolog: Some improvements about cut. In 1989 North American Conference on Logic Programming. MIT Press, October 1989."},{"key":"27_CR6","unstructured":"J.-H. Chang and Alvin M. Despain. Semi-Intelligent Backtracking of Prolog Based on Static Data Dependency Analysis. In International Symposium on Logic Programming, pages 10\u201322. IEEE Computer Society, July 1985."},{"key":"27_CR7","doi-asserted-by":"crossref","unstructured":"P. Cousot and R. Cousot. Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. In Conf. Rec. 4th Acm Symp. on Prin. of Programming Languages, pages 238\u2013252, 1977.","DOI":"10.1145\/512950.512973"},{"key":"27_CR8","doi-asserted-by":"crossref","unstructured":"S. K. Debray and D. S. Warren. Detection and Optimization of Functional Computations in Prolog. In Third International Conference on Logic Programming, number 225 in Lecture Notes in Computer Science, pages 490\u2013505. Imperial College, Springer-Verlag, July 1986.","DOI":"10.1007\/3-540-16492-8_97"},{"key":"27_CR9","unstructured":"J. Gallagher. Transforming logic programs by specializing interpreters. In Proc. of the 7th. European Conference on Artificial Intelligence, 1986."},{"key":"27_CR10","unstructured":"J. Gallagher and M. Bruynooghe. The derivation of an algorithm for program specialization. In 1990 International Conference on Logic Programming, pages 732\u2013746. MIT Press, June 1990."},{"key":"27_CR11","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/BF03037136","volume":"6","author":"J. Gallagher","year":"1988","unstructured":"J. Gallagher, M. Codish, and E. Shapiro. Specialisation of prolog and fcp programs using abstract interpretation. New Generation Computing, 6:159\u2013186, 1988.","journal-title":"New Generation Computing"},{"key":"27_CR12","doi-asserted-by":"crossref","unstructured":"F. Giannotti and M. Hermenegildo. A Technique for Recursive Invariance Detection and Selective Program Specialization. Technical report, U. of Madrid (UPM), Facultad Informatica UPM, 28660-Boadilla del Monte, Madrid-Spain, 1991.","DOI":"10.1007\/3-540-54444-5_109"},{"key":"27_CR13","unstructured":"M. Hermenegildo and K. Greene. &-Prolog and its Performance: Exploiting Independent And-Parallelism. In 1990 International Conference on Logic Programming, pages 253\u2013268. MIT Press, June 1990."},{"key":"27_CR14","unstructured":"M. Hermenegildo and F. Rossi. On the Correctness and Efficiency of Independent And-Parallelism in Logic Programs. In 1989 North American Conference on Logic Programming, pages 369\u2013390. MIT Press, October 1989."},{"key":"27_CR15","unstructured":"M. Hermenegildo and F. Rossi. Non-Strict Independent And-Parallelism. In 1990 International Conference on Logic Programming, pages 237\u2013252. MIT Press, June 1990."},{"key":"27_CR16","unstructured":"D. Jacobs and A. Langen. Accurate and Efficient Approximation of Variable Aliasing in Logic Programs. In 1989 North American Conference on Logic Programming. MIT Press, October 1989."},{"key":"27_CR17","unstructured":"D. Jacobs, A. Langen, and W. Winsborough. Multiple specialization of logic programs with run-time tests. In 1990 International Conference on Logic Programming, pages 718\u2013731. MIT Press, June 1990."},{"key":"27_CR18","unstructured":"N. Jones and H. Sondergaard. A semantics-based framework for the abstract interpretation of prolog. In Abstract Interpretation of Declarative Languages, chapter 6, pages 124\u2013142. Ellis-Horwood, 1987."},{"key":"27_CR19","unstructured":"H. Mannila and E. Ukkonen. Flow Analysis of Prolog Programs. In 4th IEEE Symposium on Logic Programming. IEEE Computer Society, September 1987."},{"key":"27_CR20","unstructured":"A. Marien, G. Janssens, A. Mulkers, and M. Bruynooghe. The impact of abstract interpretation: an experiment in code generation. In Sixth International Conference on Logic Programming, pages 33\u201347. MIT Press, June 1989."},{"key":"27_CR21","doi-asserted-by":"crossref","unstructured":"C.S. Mellish. Abstract Interpretation of Prolog Programs. In Third International Conference on Logic Programming, number 225 in Lecture Notes in Computer Science, pages 463\u2013475. Imperial College, Springer-Verlag, July 1986.","DOI":"10.1007\/3-540-16492-8_95"},{"key":"27_CR22","unstructured":"K. Muthukumar and M. Hermenegildo. Determination of Variable Dependence Information at Compile-Time Through Abstract Interpretation. In 1989 North American Conference on Logic Programming. MIT Press, October 1989."},{"key":"27_CR23","unstructured":"K. Muthukumar and M. Hermenegildc. Combined Determination of Sharing and Freeness of Program Variables Through Abstract Interpretation. In 1991 International Conference on Logic Programming. MIT Press, June 1991."},{"key":"27_CR24","unstructured":"D. Sahlin. The mixtus approach to the automatic evaluation of full prolog. In Proceedings of the North American Conference on Logic Programming, pages 377\u2013398. MIT Press, October 1990."},{"key":"27_CR25","unstructured":"P. Sestoft. A bibliography on partial evaluation and mixed computation. In Proceedings of the Workshop on Partial Evaluation and Mixed Computation. North-Holland, October 1987."},{"key":"27_CR26","unstructured":"W. Winsborough. Path-dependent reachability analysis for multiple specialization. In 1989 North American Conference on Logic Programming. MIT Press, October 1989."}],"container-title":["Lecture Notes in Computer Science","Programming Language Implementation and Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54444-5_109.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:21:57Z","timestamp":1619572917000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54444-5_109"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540544449","9783540383628"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-54444-5_109","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}