Assertion-based debugging of imperative programs by abstract interpretation-Reference-Cited by-同舟云学术

Assertion-based debugging of imperative programs by abstract interpretation

Published:1993 Issue: Volume: Page:501-516
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Bourdoncle François

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-57209-0_33.pdf

Reference22 articles.

1. Alfred V. Aho, Ravi Sethi and Jeffrey D. Ullman: “Compilers — Principles, Techniques and Tools”, Addison-Wesley Publishing Company (1986)

2. François Bourdoncle: “Interprocedural Abstract Interpretation of Block Structured Languages with Nested Procedures, Aliasing and Recursivity”, Proc. of the International Workshop PULP'90, Lecture Notes in Computer Science 456, Springer-Verlag (1990)

3. François Bourdoncle: “Abstract Interpretation By Dynamic Partitioning”, Journal of Functional Programming, Vol. 2, No. 4 (1992)

4. François Bourdoncle: “Sémantiques des langages impératifs d'ordre supérieur et interprétation abstraite”, Ph. D. dissertation, Ecole Polytechnique (1992)

5. François Bourdoncle: “Efficient Chaotic Iteration Strategies with Widenings”, Proc. of the International Conf. on Formal Methods in Programming and their Applications, Lecture Notes in Computer Science, Springer-Verlag (1993) to appear

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Sufficient Preconditions for Modular Assertion Checking;Lecture Notes in Computer Science;2008

2. Abstracting Call-Stacks for Interprocedural Verification of Imperative Programs;Algebraic Methodology and Software Technology;2004

3. Automatic Verification Based on Abstract Interpretation;Functional and Logic Programming;1999