{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T03:17:52Z","timestamp":1725765472474},"publisher-location":"London","reference-count":22,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540197355"},{"type":"electronic","value":"9781447137948"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/978-1-4471-3794-8_19","type":"book-chapter","created":{"date-parts":[[2013,12,19]],"date-time":"2013-12-19T06:23:28Z","timestamp":1387434208000},"page":"295-309","source":"Crossref","is-referenced-by-count":0,"title":["Failure Analysis based on Abstract Interpretation"],"prefix":"10.1007","author":[{"given":"M.-M.","family":"Corsini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"K.","family":"Musumbu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"19_CR1","unstructured":"M. Bruynooghe A practical framework for the abstract interpretation of logic programs; 5ik ICLP\u2014SLP 88;tutorial N\u00b02."},{"key":"19_CR2","volume-title":"B. Le Charlier Static analysis of prolog procedures for ensuring correctness; Proc. 2 workshop on Programming Language Implementation and Logic Programming","author":"P Boeck","year":"1990","unstructured":"P. De Boeck, B. Le Charlier Static analysis of prolog procedures for ensuring correctness; Proc. 2\u2019 workshop on Programming Language Implementation and Logic Programming, Link\u00f6ping university, Sweden, Aug 1990."},{"key":"19_CR3","doi-asserted-by":"crossref","unstructured":"P. Cousot, R. Cousot Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction of Approximation of Fixpoints;POPL 1977;Sigact Sigplan;pp 238\u2013252.","DOI":"10.1145\/512950.512973"},{"key":"19_CR4","unstructured":"M. Codish, D. Dams, E. Yardeni Bottom-up abstract interpretation of logic programs; technical report CS90\u201324 Weizmann institute."},{"key":"19_CR5","unstructured":"M. Codish, D. Dams, E. Yardeni Derivation and safety of an abstract unification algorithm for groundness and aliasing analysis; draft oct. 90 Weizmann Institute."},{"key":"19_CR6","unstructured":"M-M. Corsini, G. Fil\u00e8 A complete framework for the abstract interpretation of logic programs: theory and application; research report Universit\u00e0 di Padova."},{"key":"19_CR7","unstructured":"M-M Corsini, K. Musumbu Type inference in Prolog: a new approach; to appear in proc. of Informatika9l."},{"key":"19_CR8","volume-title":"Of Arizona","author":"S Debray","year":"1987","unstructured":"S. Debray Static Inference of Modes and Data Dependencies in Logic Programs; Rep.87\u201315, Univ. of Arizona 1987."},{"key":"19_CR9","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1016\/0743-1066(88)90010-6","volume":"5","author":"S Debray","year":"1988","unstructured":"S. Debray, D. Warren Automatic Mode Inference for Logic Programs; J. Logic Programming 1988 vol. 5;pp 207\u2013229.","journal-title":"J. Logic Programming"},{"key":"19_CR10","unstructured":"G. Fil\u00e9, A. Cortesi Abstract interpretation of logic programs: an abstract domain for groundness, sharing, freeness and compoundness analysis; ACM Sigplan symposium on partial evaluation 91."},{"key":"19_CR11","unstructured":"G. Janssens, M. Bruynooghe Deriving descriptions of possible values of program variables by means of abstract interpretation; draft revised version for Journal of Logic programming."},{"key":"19_CR12","volume-title":"Icot research report","author":"T Kanamori","year":"1990","unstructured":"T. Kanamori, T. Kawamura Abstract interpretation based on OLDT resolution; ICOT research report 1990."},{"key":"19_CR13","unstructured":"B. Le Charlier, K. Musumbu, P. Van Hentenryck A general abstract interpretation algorithm and its complexity analysis; ICLP 91; pp 64\u201378."},{"key":"19_CR14","doi-asserted-by":"crossref","unstructured":"J. Lloyd Foundations of logic programming;Springer Verlag;series in symbolic of computation 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"19_CR15","doi-asserted-by":"crossref","unstructured":"C. Mellish Abstract Interpretation of Prolog programs; ICLP 86;LNCS 225;pp 463\u2013474.","DOI":"10.1007\/3-540-16492-8_95"},{"key":"19_CR16","unstructured":"R. Milner A theory of type polymorphism in programming; Edinburgh internal report CSR 9\u201377."},{"key":"19_CR17","unstructured":"A. Mari\u00e9n, G. Janssens, A. Mulkers, M. Bruynooghe The impact of abstract interpretation on code generation: an experiment in efficiency, ICLP 89;pp 33\u201347."},{"key":"19_CR18","unstructured":"K. Musumbu Abstract interpretation of prolog programs;PHD thesis (in french); sept. 90."},{"key":"19_CR19","unstructured":"K. Marriott, H. Sondergaard Bottom up abstract interpretation of logic programs; ICLP\/SLP 88."},{"key":"19_CR20","unstructured":"K. Marriott, H. Sondergaard Abstract interpretation of logic programs: the denotaional approach; GULP90."},{"key":"19_CR21","doi-asserted-by":"crossref","unstructured":"T. Sato, H. Tamaki OLD resolution with tabulation ICLP 86;LNCS 225;pp 84\u201398.","DOI":"10.1007\/3-540-16492-8_66"},{"key":"19_CR22","unstructured":"E. Yardeni, E. Shapiro A type system for logic programs; Research report CS87\u201305 Weizmann Institute."}],"container-title":["Workshops in Computing","Declarative Programming, Sasbachwalden 1991"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3794-8_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,25]],"date-time":"2019-05-25T13:32:52Z","timestamp":1558791172000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3794-8_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540197355","9781447137948"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3794-8_19","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1992]]}}}