{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,8]],"date-time":"2025-07-08T14:07:34Z","timestamp":1751983654279},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540650744"},{"type":"electronic","value":"9783540496748"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49674-2_15","type":"book-chapter","created":{"date-parts":[[2007,8,14]],"date-time":"2007-08-14T05:41:54Z","timestamp":1187070114000},"page":"282-299","source":"Crossref","is-referenced-by-count":2,"title":["Constrained Regular Approximation of Logic Programs"],"prefix":"10.1007","author":[{"given":"H\u00fcseyin","family":"Sa\u011flam","sequence":"first","affiliation":[]},{"given":"John P.","family":"Gallagher","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1998,11,18]]},"reference":[{"key":"15_CR1","unstructured":"F. Benoy and A. King. Inferring argument size relations with CLP(R). In Proceedings of the 6th International Workshop on Logic Program Synthesis and Transformation (LOPSTR-96); Sweden. Springer-Verlag, 1996."},{"key":"15_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1007\/3-540-55844-6_142","volume-title":"Proceedings of the 4th International Symposium on Programming Language Implementation and Logic Programming, PLILP\u201992, Leuven, Belgium","author":"P. Cousot","year":"1992","unstructured":"P. Cousot and R. Cousot. Comparing the Galois connection and widening\/narrowing approaches to abstract interpretation. In Proceedings of the 4th International Symposium on Programming Language Implementation and Logic Programming, PLILP\u201992, Leuven, Belgium, volume 631 of lncs, pages 269\u2013295. Springer-Verlag, 1992."},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"P. Cousot and N. Halbwachs. Automatic discovery of linear restraints among variables of a program. In Proceedings of the 5th Annual ACM Symposium on Principles of Programming Languages, pages 84\u201396, 1978.","DOI":"10.1145\/512760.512770"},{"key":"15_CR4","unstructured":"B. De Backer and H. Beringer. A CLP language handling disjunctions of linear constraints. In Proceedings of the International Conference on Logic Programming (ICLP\u201993), pages 550\u2013563. MIT Press, 1993."},{"key":"15_CR5","unstructured":"J. Gallagher, D. Boulanger, and H. Sa\u011flam. Practical model-based static analysis for definite logic programs. In J. W. Lloyd, editor, Proc. of International Logic Programming Symposium, pages 351\u2013365. MIT Press, 1995."},{"key":"15_CR6","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, pages 599\u2013613. MIT Press, 1994."},{"key":"15_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1007\/3-540-58485-4_43","volume-title":"Proceedings of the First Symposium on Static Analysis","author":"N. Halbwachs","year":"1994","unstructured":"N. Halbwachs, Y. E. Proy, and P. Raymond. Verification of linear hybrid systems by means of convex approximations. In Proceedings of the First Symposium on Static Analysis, volume 864 of lncs, pages 223\u2013237. Springer-Verlag, September 1994."},{"issue":"3","key":"15_CR8","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/0743-1066(94)00021-W","volume":"22","author":"P. Hentenryck Van","year":"1994","unstructured":"P. Van Hentenryck, A. Cortesi, and B. Le Charlier. Type analysis of Prolog using type graphs. Journal of Logic Programming, 22(3):179\u2013210, 1994.","journal-title":"Journal of Logic Programming"},{"key":"15_CR9","series-title":"Technical Report","volume-title":"Abstracting numerical values in CLP(H,N)","author":"G. Janssens","year":"1994","unstructured":"G. Janssens, M. Bruynooghe, and V. Englebert. Abstracting numerical values in CLP(H,N). Technical Report CW189, K.U. Leuven, Belgium, 1994."},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"K. Marriott and P.J. Stuckey. The 3 R\u2019s of optimizing constraint logic programs: Refinement, removal and reordering. In Proceedings of the 20th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages; Charleston, South Carolina, pages 334\u2013344, January 1993.","DOI":"10.1145\/158511.158685"},{"key":"15_CR11","unstructured":"P. Mishra. Towards a theory of types in prolog. In Proceedings of the IEEE International Symposium on Logic Programming, 1984."},{"key":"15_CR12","unstructured":"G. Plotkin. A note on inductive generalisation. In B. Meltzer and D. Michie, editors, Machine Intelligence, Vol.5. Edinburgh University Press, 1974."},{"key":"15_CR13","unstructured":"J. C. Reynolds. Transformational systems and the algebraic structure of atomic formulas. In B. Meltzer and D. Michie, editors, Machine Intelligence, Vol.5. Edinburgh University Press, 1974."},{"key":"15_CR14","volume-title":"Proceedings of the Eighth European Summer School on Logic, Language and Information, ESSLLI\u201996 Student Session","author":"H. Sa\u011flam","year":"1996","unstructured":"H. Sa\u011flam. Static analysis of logic programs by abstract compilation into CLP. In Proceedings of the Eighth European Summer School on Logic, Language and Information, ESSLLI\u201996 Student Session. Czech Technical University, Prague, Czech Republic, 1996."},{"key":"15_CR15","unstructured":"H. Sa\u011flam and J. Gallagher. Approximating logic programs using types and regular descriptions. Technical Report CSTR-94-19, University of Bristol, Department of Computer Science, 1994."},{"key":"15_CR16","doi-asserted-by":"crossref","unstructured":"H. Sa\u011flam and J. Gallagher. Approximating constraint logic programs using polymorphic types and regular descriptions. In Proceedings of the 7th International Symposium on Programming Languages, Implementations, Logics and Programs, PLILP\u201995 (poster abstract), Utrecht, Holland; (full version is Technical Report CSTR-95-016, Department of Computer Science, University of Bristol), 1995.","DOI":"10.1007\/BFb0026840"},{"key":"15_CR17","volume-title":"Proceedings of JICSLP\u201996 post conference Workshop on Meta Programming and Metareasoning in Logic, META\u201996","author":"H. Sa\u011flam","year":"1996","unstructured":"H. Sa\u011flam and J. Gallagher. Proving properties of terms using abstract compilation into CLP. In Proceedings of JICSLP\u201996 post conference Workshop on Meta Programming and Metareasoning in Logic, META\u201996. Uppsala University, Uppsala, Sweden, 1996."},{"key":"15_CR18","unstructured":"H. Sa\u011flam and J. Gallagher. Static analysis of logic programs using CLP as a meta-language. Technical Report CSTR-96-003, University of Bristol, Department of Computer Science, 1996."},{"key":"15_CR19","doi-asserted-by":"crossref","unstructured":"A. van Gelder. Deriving constraints among argument sizes in logic programs. In Principles of Database Systems; Nashville, Tennessee, pages 47\u201360, 1990.","DOI":"10.1145\/298514.298541"},{"key":"15_CR20","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"296","DOI":"10.1007\/3-540-55844-6_143","volume-title":"Proceedings of the 4th International Symposium on Programming Language Implementation and Logic Programming, PLILP\u201992, Leuven, Belgium","author":"K. Verschaetse","year":"1992","unstructured":"K. Verschaetse and D. De Schreye. Derivation of linear size relations by abstract interpretation. In Proceedings of the 4th International Symposium on Programming Language Implementation and Logic Programming, PLILP\u201992, Leuven, Belgium, volume 631 of lncs, pages 296\u2013310. Springer-Verlag, 1992."},{"issue":"2","key":"15_CR21","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/0743-1066(91)80002-U","volume":"10","author":"E. Yardeni","year":"1990","unstructured":"E. Yardeni and E.Y. Shapiro. A type system for logic programs. Journal of Logic Programming, 10(2):125\u2013154, 1990.","journal-title":"Journal of Logic Programming"}],"container-title":["Lecture Notes in Computer Science","Logic Program Synthesis and Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49674-2_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T01:04:35Z","timestamp":1556759075000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49674-2_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540650744","9783540496748"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-49674-2_15","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}