{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,8]],"date-time":"2025-07-08T14:07:29Z","timestamp":1751983649139},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540676287"},{"type":"electronic","value":"9783540451488"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/10720327_7","type":"book-chapter","created":{"date-parts":[[2006,12,29]],"date-time":"2006-12-29T17:52:22Z","timestamp":1167414742000},"page":"102-117","source":"Crossref","is-referenced-by-count":3,"title":["Imperative Program Specialisation: An Approach Using CLP"],"prefix":"10.1007","author":[{"given":"Julio C.","family":"Peralta","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John P.","family":"Gallagher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","unstructured":"Andersen, L.O.: Program Analysis and Specialization for the C programming Language. PhD thesis, DIKU, University of Copenhagen, Denmark (May 1994)"},{"issue":"4","key":"7_CR2","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1145\/278283.278285","volume":"33","author":"A.W. Appel","year":"1998","unstructured":"Appel, A.W.: SSA is functional programming. ACM SIGPLAN Notices\u00a033(4), 17\u201320 (1998)","journal-title":"ACM SIGPLAN Notices"},{"key":"7_CR3","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"Partial Evaluation","author":"S. Blazy","year":"1996","unstructured":"Blazy, S., Facon, P.: An automatic interprocedural analysis for the understanding of scientific application programs. In: Danvy, O., Thiemann, P., Gl\u00fcck, R. (eds.) Dagstuhl Seminar 1996. LNCS, vol.\u00a01110, pp. 1\u201316. Springer, Heidelberg (1996)"},{"issue":"9","key":"7_CR4","doi-asserted-by":"publisher","first-page":"884","DOI":"10.1109\/32.92907","volume":"17","author":"A. Coen-Porisini","year":"1991","unstructured":"Coen-Porisini, A., De Paoli, F., Ghezzi, C., Mandrioli, D.: Software specialization via symbolic execution. IEEE Transactions on Software Engineering\u00a017(9), 884\u2013899 (1991)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Consel, C., Danvy, O.: Static and dymanic semantic processing. In: ACM Press, editor, Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, Orlando, Florida, pp. 14\u201324 (1991)","DOI":"10.1145\/99583.99588"},{"issue":"3 & 4","key":"7_CR6","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/BF03037167","volume":"9","author":"J. Gallagher","year":"1991","unstructured":"Gallagher, J., Bruynooghe, M.: The derivation of an algorithm for program specialisation. New Generation Computing\u00a09(3 & 4), 305\u2013333 (1991)","journal-title":"New Generation Computing"},{"key":"7_CR7","doi-asserted-by":"crossref","first-page":"88","DOI":"10.1145\/154630.154640","volume-title":"Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation","author":"J.P. Gallagher","year":"1993","unstructured":"Gallagher, J.P.: Tutorial on specialisation of logic programs. In: Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, Copenhagen, Denmark, pp. 88\u201398. ACM Press, New York (1993)"},{"key":"7_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1007\/3-540-61580-6_7","volume-title":"Partial Evaluation","author":"J.P. Gallagher","year":"1996","unstructured":"Gallagher, J.P., Lafave, L.: Regular approximation of computation paths in logic and functional languages. In: Danvy, O., Thiemann, P., Gl\u00fcck, R. (eds.) Dagstuhl Seminar 1996. LNCS, vol.\u00a01110, pp. 115\u2013136. Springer, Heidelberg (1996)"},{"key":"7_CR9","first-page":"44","volume-title":"Workshop on Partial Evaluation and Program Manipulation","author":"J.P. Gallagher","year":"2000","unstructured":"Gallagher, J.P., Peralta, J.C.: Using regular approximations for generalisation during partial evaluation. In: Workshop on Partial Evaluation and Program Manipulation, pp. 44\u201351. ACM Press, New York (2000)"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"Glenstrup, A.J., Makholm, H., Secher, J.P.: C-mix: Specialization of C programs. Notes from the Partial Evaluation Summer School held at DIKU Copenhagen, Denmark (1998)","DOI":"10.1007\/3-540-47018-2_4"},{"key":"7_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/BFb0032749","volume-title":"Static Analysis","author":"L. Hornof","year":"1997","unstructured":"Hornof, L., Noy\u00e9, J., Consel, C.: Consel Effiective specialization of realistic programs via use sensitivity. In: Van Hentenryck, P. (ed.) SAS 1997. LNCS, vol.\u00a01302, pp. 293\u2013318. Springer, Heidelberg (1997)"},{"issue":"20","key":"7_CR12","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","volume":"19","author":"J. Jaffar","year":"1994","unstructured":"Jaffar, J., Maher, M.J.: Constraint logic programming: A survey. The Journal of Logic Programming\u00a019(20), 503\u2013581 (1994)","journal-title":"The Journal of Logic Programming"},{"key":"7_CR13","unstructured":"Jones, N.D., Gomard, C.K., Sestoft, P.: Partial Evaluation and Automatic Program Generation. Prentice-Hall International Series (1993)"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Jones, N.D., Muchnick, S.S.: A flexible approach to interprocedural data flow analysis and programs with recursive data structures. In: ACM Press (ed.), Conference Record of the Ninth Symposium on Principles of Programming Languages, pp. 66\u201374 (1982)","DOI":"10.1145\/582153.582161"},{"issue":"4","key":"7_CR15","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1145\/202176.202184","volume":"30","author":"P. Kleinrubatscher","year":"1995","unstructured":"Kleinrubatscher, P., Kriegshaber, A., Z\u00f6ling, R., Gl\u00fcck, R.: Fortran program specialization. SIGPLAN Notices\u00a030(4), 61\u201370 (1995)","journal-title":"SIGPLAN Notices"},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Lafave, L.: A Constraint-based Partial Evaluator for Functional Logic Programs and its Application. PhD thesis, University of Bristol, UK (1999)","DOI":"10.1007\/3-540-49674-2_9"},{"issue":"3 & 4","key":"7_CR17","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0743-1066(91)90027-M","volume":"11","author":"J.W. Lloyd","year":"1991","unstructured":"Lloyd, J.W., Shepherdson, J.C.: Partial evaluation in logic programming. The Journal of Logic Programming\u00a011(3 & 4), 217\u2013242 (1991)","journal-title":"The Journal of Logic Programming"},{"key":"7_CR18","first-page":"94","volume-title":"Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation","author":"U. Meyer","year":"1991","unstructured":"Meyer, U.: Techniques for partial evaluation of imperative programs. In: Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, New Haven, Conneticut, pp. 94\u2013115. ACM Press, New York (1991)"},{"key":"7_CR19","volume-title":"Advanced Compiler Design and Implementation","author":"S.S. Muchnick","year":"1997","unstructured":"Muchnick, S.S.: Advanced Compiler Design and Implementation. Morgan Kaufman, San Francisco (1997)"},{"key":"7_CR20","volume-title":"Semantics with Applications","author":"H.R. Nielson","year":"1992","unstructured":"Nielson, H.R., Nielson, F.: Semantics with Applications. John Wiley and Sons, Chichester (1992)"},{"key":"7_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1007\/3-540-49727-7_15","volume-title":"Static Analysis","author":"J.C. Peralta","year":"1998","unstructured":"Peralta, J.C., Gallagher, J.P., Sa\u011flam, H.: Analysis of imperative programs through analysis of constraint logic programs. In: Levi, G. (ed.) SAS 1998. LNCS, vol.\u00a01503, pp. 246\u2013261. Springer, Heidelberg (1998)"},{"key":"7_CR22","unstructured":"Reps, T.: Program analysis via graph reachability. Technical Report TR-1386, Computer Sciences Department, University of Wisconsin, Extended version of invited paper in Proceedings of ILPS97 (August 1998)"},{"key":"7_CR23","first-page":"341","volume-title":"Meta-Programming in Logic Programming","author":"B.J. Ross","year":"1989","unstructured":"Ross, B.J.: The partial evaluation of imperative programs using Prolog. In: Abramson, H., Rogers, M.H. (eds.) Meta-Programming in Logic Programming, pp. 341\u2013363. MIT Press, Cambridge (1989)"},{"key":"7_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"282","DOI":"10.1007\/3-540-49674-2_15","volume-title":"Logic Program Synthesis and Transformation","author":"H. Sa\u011flam","year":"1998","unstructured":"Sa\u011flam, H., Gallagher, J.P.: Constrained regular approximation of logic programs. In: Fuchs, N.E. (ed.) LOPSTR 1997. LNCS, vol.\u00a01463, pp. 282\u2013299. Springer, Heidelberg (1998)"}],"container-title":["Lecture Notes in Computer Science","Logic-Based Program Synthesis and Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10720327_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,10]],"date-time":"2023-05-10T07:08:08Z","timestamp":1683702488000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10720327_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540676287","9783540451488"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/10720327_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}