{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:36:33Z","timestamp":1750307793503,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":39,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,1,7]],"date-time":"2008-01-07T00:00:00Z","timestamp":1199664000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2008,1,7]]},"DOI":"10.1145\/1328408.1328418","type":"proceedings-article","created":{"date-parts":[[2008,1,7]],"date-time":"2008-01-07T14:45:40Z","timestamp":1199717140000},"page":"61-70","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["A practical type analysis for verification of modular prolog programs"],"prefix":"10.1145","author":[{"given":"Pawel S.","family":"Pietrzak","sequence":"first","affiliation":[{"name":"Technical University of Madrid, Madrid, Spain"}]},{"given":"Jes\u00fas Correas","family":"Fern\u00e1ndez","sequence":"additional","affiliation":[]},{"given":"Germ\u00e1n","family":"Puebla","sequence":"additional","affiliation":[{"name":"Technical University of Madrid, Madrid, Spain"}]},{"given":"Manuel V.","family":"Hermenegildo","sequence":"additional","affiliation":[{"name":"Technical University of Madrid, Madrid, Spain"}]}],"member":"320","published-online":{"date-parts":[[2008,1,7]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(92)90038-D"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(91)80001-T"},{"volume-title":"School (UPM)","year":"2006","author":"Bueno F.","key":"e_1_3_2_1_3_1"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/11737414_11"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(98)00122-4"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/11680093_11"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/224164.224199"},{"key":"e_1_3_2_1_9_1","first-page":"157","volume-title":"Types in Logic Programming","author":"Dart P. W.","year":"1992"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/232706.232734"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068402001473"},{"key":"e_1_3_2_1_12_1","unstructured":"J.\n       \n      Gallagher\n     and \n      \n      \n      K.\n       \n      Henriksen\n      \n  \n  . \n  Abstract domains based on regular types. In B. Demoen and V. Lifschitz editors ICLP\n   \n  2004 Proceedings volume \n  3132\n   of \n  LNCS pages \n  27\n  --\n  42\n  . \n  Springer-Verlag 2004. ISBN 3-540-22671-0.  J. Gallagher and K. Henriksen. Abstract domains based on regular types. In B. Demoen and V. Lifschitz editors ICLP 2004 Proceedings volume 3132 of LNCS pages 27--42. Springer-Verlag 2004. ISBN 3-540-22671-0."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/645772.667955"},{"key":"e_1_3_2_1_14_1","first-page":"599","volume-title":"Proc. of the 11th International Conference on Logic Programming","author":"Gallagher J. P.","year":"1994"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/96709.96729"},{"first-page":"141","volume-title":"Pfenning92TILP","author":"Heintze N.","key":"e_1_3_2_1_16_1"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2005.02.006"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/349214.349216"},{"volume-title":"Logic Programming Series. MIT Pres","year":"1994","author":"Hill P. M.","key":"e_1_3_2_1_19_1"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(92)90032-X"},{"volume-title":"2nd Ext. Ed.","year":"1987","author":"Lloyd J. W.","key":"e_1_3_2_1_21_1"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/215465.215597"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0743-1066(97)10010-3"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/609769.609782"},{"volume-title":"Computing Science Department - Uppsala University","year":"1999","author":"Mildner P.","key":"e_1_3_2_1_25_1"},{"key":"e_1_3_2_1_26_1","first-page":"289","volume-title":"International Symposium on Logic Programming","author":"Mishra P.","year":"1984"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.5555\/87961.87987"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(92)90035-2"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(84)90017-1"},{"volume-title":"MIT Press","year":"1992","author":"Pfenning F.","key":"e_1_3_2_1_30_1"},{"volume-title":"MIT Press","year":"2002","author":"Pierce C.","key":"e_1_3_2_1_31_1"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/11916277_27"},{"key":"e_1_3_2_1_33_1","first-page":"23","volume-title":"Analysis and Visualization Tools for Constraint Programming","author":"Puebla G.","year":"1870"},{"key":"e_1_3_2_1_34_1","unstructured":"G. Puebla J. Correas M. Hermenegildo F. Bueno M. Garcia de la Banda K. Marriott and P. J. Stuckey. A Generic Framework for Context-Sensitive Analysis of Modular Programs. In M. Bruynooghe and K. Lau editors Program Development in Computational Logic A Decade of Research Advances in Logic-Based Program Development number 3049 in LNCS pages 234--261. Springer--Verlag Heidelberg Germany August 2004. ISBN 3--540--22152--2.  G. Puebla J. Correas M. Hermenegildo F. Bueno M. Garcia de la Banda K. Marriott and P. J. Stuckey. A Generic Framework for Context-Sensitive Analysis of Modular Programs. In M. Bruynooghe and K. Lau editors Program Development in Computational Logic A Decade of Research Advances in Logic-Based Program Development number 3049 in LNCS pages 234--261. Springer--Verlag Heidelberg Germany August 2004. ISBN 3--540--22152--2."},{"key":"e_1_3_2_1_36_1","first-page":"1","article-title":"The Execution Algorithm of Mercury: an Efficient Purely Declarative Logic Programming Language","volume":"290","author":"Somogyi Z.","year":"1996","journal-title":"JLP"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(94)00021-W"},{"key":"e_1_3_2_1_38_1","first-page":"1","volume-title":"The Impact of Granularity in Abstract Interpretation of Prolog. In Workshop on Static Analysis, number 724 in LNCS","author":"Van Hentenryck P.","year":"1993"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.5555\/647171.718317"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(91)80002-U"}],"event":{"name":"PEPM08: Partial Evaluation and Program Manipulation","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"],"location":"San Francisco California USA","acronym":"PEPM08"},"container-title":["Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1328408.1328418","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1328408.1328418","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:56:22Z","timestamp":1750254982000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1328408.1328418"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,1,7]]},"references-count":39,"alternative-id":["10.1145\/1328408.1328418","10.1145\/1328408"],"URL":"https:\/\/doi.org\/10.1145\/1328408.1328418","relation":{},"subject":[],"published":{"date-parts":[[2008,1,7]]},"assertion":[{"value":"2008-01-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}