{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:06:41Z","timestamp":1725664001562},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540572091"},{"type":"electronic","value":"9783540479727"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57209-0_33","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T07:20:32Z","timestamp":1330240832000},"page":"501-516","source":"Crossref","is-referenced-by-count":4,"title":["Assertion-based debugging of imperative programs by abstract interpretation"],"prefix":"10.1007","author":[{"given":"Fran\u00e7ois","family":"Bourdoncle","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"33_CR1","unstructured":"Alfred V. Aho, Ravi Sethi and Jeffrey D. Ullman: \u201cCompilers \u2014 Principles, Techniques and Tools\u201d, Addison-Wesley Publishing Company (1986)"},{"key":"33_CR2","doi-asserted-by":"crossref","unstructured":"Fran\u00e7ois Bourdoncle: \u201cInterprocedural Abstract Interpretation of Block Structured Languages with Nested Procedures, Aliasing and Recursivity\u201d, Proc. of the International Workshop PULP'90, Lecture Notes in Computer Science 456, Springer-Verlag (1990)","DOI":"10.1007\/BFb0024192"},{"key":"33_CR3","doi-asserted-by":"crossref","unstructured":"Fran\u00e7ois Bourdoncle: \u201cAbstract Interpretation By Dynamic Partitioning\u201d, Journal of Functional Programming, Vol. 2, No. 4 (1992)","DOI":"10.1017\/S0956796800000496"},{"key":"33_CR4","unstructured":"Fran\u00e7ois Bourdoncle: \u201cS\u00e9mantiques des langages imp\u00e9ratifs d'ordre sup\u00e9rieur et interpr\u00e9tation abstraite\u201d, Ph. D. dissertation, Ecole Polytechnique (1992)"},{"key":"33_CR5","doi-asserted-by":"crossref","unstructured":"Fran\u00e7ois Bourdoncle: \u201cEfficient Chaotic Iteration Strategies with Widenings\u201d, Proc. of the International Conf. on Formal Methods in Programming and their Applications, Lecture Notes in Computer Science, Springer-Verlag (1993) to appear","DOI":"10.1007\/BFb0039704"},{"key":"33_CR6","doi-asserted-by":"crossref","unstructured":"Fran\u00e7ois Bourdoncle: \u201cAbstract Debugging of Higher-Order Imperative Languages\u201d, Proc. of SIGPLAN '93 Conference on Programming Language Design and Implementation (1993)","DOI":"10.1145\/155090.155095"},{"key":"33_CR7","unstructured":"Patrick and Radhia Cousot: \u201cAbstract Interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints\u201d, Proc. of the 4th ACM Symp. on POPL (1977) 238\u2013252"},{"key":"33_CR8","unstructured":"Patrick Cousot: \u201cAsynchronous iterative methods for solving a fixpoint system of monotone equations\u201d, Research Report IMAG-RR-88, Universit\u00e9 Scientifique et M\u00e9dicale de Grenoble (1977)"},{"key":"33_CR9","unstructured":"Patrick Cousot and Nicolas Halbwachs: \u201cAutomatic discovery of linear constraints among variables of a program\u201d, Proc. of the 5th ACM Symp. on POPL (1978) 84\u201397"},{"key":"33_CR10","unstructured":"Patrick Cousot: \u201cM\u00e9thodes it\u00e9ratives de construction et d'approximation de points fixes d'op\u00e9rateurs monotones sur un treillis. Analyse s\u00e9mantique de programmes\u201d, Ph. D. dissertation, Universit\u00e9 Scientifique et M\u00e9dicale de Grenoble (1978)"},{"key":"33_CR11","unstructured":"Patrick and Radhia Cousot: \u201cStatic determination of dynamic properties of recursive procedures\u201d, Formal Description of Programming Concepts, North Holland Publishing Company (1978) 237\u2013277"},{"key":"33_CR12","unstructured":"Patrick Cousot: \u201cSemantic foundations of program analysis\u201d, in Muchnick and Jones-Eds., Program Flow Analysis, Theory and Applications, Prentice-Hall (1981) 303\u2013343"},{"key":"33_CR13","doi-asserted-by":"crossref","unstructured":"Alain Deutsch: \u201cOn determining lifetime and aliasing of dynamically allocated data in higher-order functional specifications\u201d, Proc. of the 17th ACM Symp. on POPL (1990)","DOI":"10.1145\/96709.96725"},{"key":"33_CR14","doi-asserted-by":"crossref","unstructured":"Alain Deutsch: \u201cA Storeless Model of Aliasing and its Abstractions using Finite Representations of Right-Regular Equivalence Relations\u201d, Proc. of the IEEE'92 International Conference on Computer Languages, IEEE Press (1992)","DOI":"10.1109\/ICCL.1992.185463"},{"key":"33_CR15","doi-asserted-by":"crossref","unstructured":"Philippe Granger: \u201cStatic analysis of arithmetical congruences\u201d, International Journal of Computer Mathematics (1989) 165\u2013190","DOI":"10.1080\/00207168908803778"},{"key":"33_CR16","doi-asserted-by":"crossref","unstructured":"Rajiv Gupta: \u201cA Fresh Look at Optimizing Array Bound Checking\u201d, Proc. of SIG-PLAN '90 Conf. on Programming Language Design and Implementation (1990) 272\u2013282","DOI":"10.1145\/93542.93581"},{"key":"33_CR17","doi-asserted-by":"crossref","unstructured":"Victoria Markstein, John Cocke and Peter Markstein: \u201cOptimization of Range Checking\u201d, Proc. of the SIGPLAN'82 Symp. on Compiler Construction (1982) 114\u2013119","DOI":"10.1145\/800230.806986"},{"key":"33_CR18","unstructured":"ISO\/IEC 7185: \u201cInformation technology \u2014 Programming languages \u2014 Pascal\u201d, Revised 1983, Second edition (1990)"},{"key":"33_CR19","unstructured":"Micha Sharir and Amir Pnueli: \u201cTwo Approaches to Interprocedural Data Flow Analysis\u201d in Muchnick and Jones Eds., Program Flow Analysis, Theory and Applications, Prentice-Hall (1981) 189\u2013233"},{"key":"33_CR20","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1137\/0201010","volume":"1","author":"R. E. Tarjan","year":"1972","unstructured":"R.E. Tarjan: \u201cDepth-first search and linear graph algorithms\u201d, SIAM J. Comput., 1 (1972) 146\u2013160","journal-title":"SIAM J. Comput."},{"key":"33_CR21","doi-asserted-by":"crossref","unstructured":"Andrew P. Tolmach and Andrew W. Appel: \u201cDebugging Standard ML Without Reverse Engineering\u201d, Proc. 1990 ACM Conf. on Lisp and Functional Programming, ACM Press (1990) 1\u201312","DOI":"10.1145\/91556.91564"},{"key":"33_CR22","unstructured":"Niklaus Wirth and Kathleen Jensen: \u201cPascal user manual and report\u201d (Second Ed.), Springer-Verlag (1978)"}],"container-title":["Lecture Notes in Computer Science","Software Engineering \u2014 ESEC '93"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57209-0_33.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:00:43Z","timestamp":1619557243000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57209-0_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540572091","9783540479727"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-57209-0_33","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}