{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T03:47:14Z","timestamp":1760586434146,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540650140"},{"type":"electronic","value":"9783540497271"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49727-7_15","type":"book-chapter","created":{"date-parts":[[2007,6,7]],"date-time":"2007-06-07T03:02:49Z","timestamp":1181185369000},"page":"246-261","source":"Crossref","is-referenced-by-count":46,"title":["Analysis of Imperative Programs through Analysis of Constraint Logic Programs"],"prefix":"10.1007","author":[{"given":"Julio C.","family":"Peralta","sequence":"first","affiliation":[]},{"given":"John P.","family":"Gallagher","sequence":"additional","affiliation":[]},{"given":"H\u00fcseyin","family":"Sa\u011flam","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,9,24]]},"reference":[{"key":"15_CR1","unstructured":"Alfred V. Aho, Ravi Sethi, and Jeffrey D. Ullman. Compilers: Principles, Techniques, and Tools. Addison Wesley, 1986."},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"P. Cousot and N. Halbwachs. Automatic discovery of linear restraints amog variables of a program. In Proceedings of the Conference Record of the 5th ACM Symposium on Principles of Programming Languages, pages 84\u201397, Albuquerque, New Mexico, 1978.","DOI":"10.1145\/512760.512770"},{"key":"15_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"388","DOI":"10.1007\/BFb0032759","volume-title":"Proceedings of the Fourth International Symposium on Static Analysis, SAS\u201997","author":"P. Cousot","year":"1997","unstructured":"Patrick Cousot. Abstract interpretation based static analysis parametrized by semantics. In Proceedings of the Fourth International Symposium on Static Analysis, SAS\u201997, pages 388\u2013394, Paris, France, 1997. LNCS 1302, Springer Verlag."},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"J.P. Gallagher. Tutorial on specialisation of logic programs. In Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, pages 88\u201398, Copenhagen, Denmark, 1993. ACM Press.","DOI":"10.1145\/154630.154640"},{"key":"15_CR5","unstructured":"J. Gallagher and M. Bruynooghe. Some low-level source transformations for logic programs. In Proceedings of Meta90 Workshop on Meta Programming in Logic. Katholieke Universiteit Leuven, Belgium, 1990."},{"issue":"3&4","key":"15_CR6","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/BF03037167","volume":"9","author":"J. Gallagher","year":"1991","unstructured":"J. Gallagher and M. Bruynooghe. The derivation of an algorithm for program specialisation. New Generation Computing, 9(3&4):305\u2013333, 1991.","journal-title":"New Generation Computing"},{"key":"15_CR7","unstructured":"J. Gallagher and D.A. de Waal. Fast and precise regular approximation of logic programs. In P. Van Hentenryck, editor, Proceedings of the International Conference on Logic Programming (ICLP\u201994), Santa Margherita Ligure, Italy. MIT Press, 1994."},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"Val\u00e9rie Gouranton and Daniel Le M\u00e9tayer. Formal development of static program analysers. In Proceedings of the 8th Israeli Conference on Computer Systems and Software Engineering, pages 101\u2013110, Israel, 1997.","DOI":"10.1109\/ICCSSE.1997.599881"},{"key":"15_CR9","unstructured":"Donald E. Knuth. The Art of Computer Programming, volume 3 of Sorting and Searching. Addison-Wesley Publishing Company, 1973."},{"key":"15_CR10","unstructured":"Robert Kowalski. Logic for Problem Solving. North Holland, 1979."},{"key":"15_CR11","volume-title":"PhD thesis","author":"M. Leuschel","year":"1997","unstructured":"Michael Leuschel. Advanced Techniques for Logic Program Specialisation. PhD thesis, Katholieke Universiteit Leuven, Department of Computer Science, Leuven, Belgium, May 1997."},{"issue":"3&4","key":"15_CR12","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0743-1066(91)90027-M","volume":"11","author":"J. W. Lloyd","year":"1991","unstructured":"J. W. Lloyd and J. C. Shepherdson. Partial evaluation in logic programming. The Journal of Logic Programming, 11(3&4):217\u2013242, 1991.","journal-title":"The Journal of Logic Programming"},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"Flemming Nielson. Two-level semantics and abstract interpretation. Theoretical Computer Science, (69):117\u2013242, 1989.","DOI":"10.1016\/0304-3975(89)90091-1"},{"key":"15_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-61055-3","volume-title":"Third International Symposium, SAS\u201996","author":"F. Nielson","year":"1996","unstructured":"Flemming Nielson. Semantics-directed program analysis: A toolmaker\u2019s perspective. In Third International Symposium, SAS\u201996. Springer Verlag, LNCS 1145, 1996."},{"key":"15_CR15","doi-asserted-by":"crossref","unstructured":"Flemming Nielson and Hanne Riis Nielson. Two-level semantics and code generation. Theoretical Computer Science, (56):59\u2013133, 1988.","DOI":"10.1016\/0304-3975(86)90006-X"},{"key":"15_CR16","unstructured":"Hanne Riis Nielson and Flemming Nielson. Semantics with Applications. John Wiley and Sons, 1992."},{"key":"15_CR17","doi-asserted-by":"crossref","unstructured":"John L. Ross and Mooly Sagiv. Building a bridge between pointer aliases and program dependences. In European Symposium On Programming, Lisbon, Portugal, 1998.","DOI":"10.1007\/BFb0053573"},{"key":"15_CR18","volume-title":"PhD thesis","author":"H. Sa\u011flam","year":"1998","unstructured":"H\u00fcseyin Sa\u011flam. A Toolkit for Static Analysis of Constraint Logic Programs. PhD thesis, Bristol University, Department of Computer Science, Bristol, U.K., March 1998."},{"key":"15_CR19","doi-asserted-by":"crossref","unstructured":"Mooly Sagiv, Nissim Francez, Michael Rodeh, and Reinhard Wilhelm. A logic-based approach to program flow analysis. 1998. Submitted to Acta Informatica.","DOI":"10.1007\/s002360050128"},{"key":"15_CR20","series-title":"Lect Notes Comput Sci","volume-title":"Logic Program Synthesis and Transformation (LOPSTR\u201997)","author":"H. Sa\u011flam","year":"1998","unstructured":"H. Sa\u011flam and J. Gallagher. Constrained regular approximation of logic programs. In N. Fuchs, editor, Logic Program Synthesis and Transformation (LOPSTR\u201997). Springer-Verlag, Lecture Notes in Computer Science, 1998. in press."},{"key":"15_CR21","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1007\/3-540-61053-7_54","volume-title":"Compiler Construction","author":"C. Verbrugge","year":"1996","unstructured":"Clark Verbrugge, Phong Co, and Laurie Hendren. Generalized constant propagation a study of C. Lecture Notes in Computer Science, Compiler Construction, (1060):74\u201390, 1996."}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49727-7_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,17]],"date-time":"2025-01-17T01:21:01Z","timestamp":1737076861000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49727-7_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540650140","9783540497271"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-49727-7_15","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}