Automatic Inference of Class Invariants-Reference-Cited by-同舟云学术

Automatic Inference of Class Invariants

Published:2004 Issue: Volume: Page:211-222
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Logozzo Francesco

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-24622-0_18

Reference17 articles.

1. Aggarwal, A., Randall, K.H.: Related field analysis. In: PLDI 2001, June 2001, ACM Press, New York (2001)

2. Blanchet, B.: Escape analysis for object oriented languages. Application to Java. In: OOPSLA 1999, November 1999, ACM Press, New York (1999)

3. Blanchet, B., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Min, A., Monniaux, D., Rival, X.: A Static Analyzer for Large Safety-Critical Software. In: PLDI 2003, June 2003, ACM Press, New York (2003)

4. Chatterjee, R., Ryder, B.G., Landi, W.A.: Relevant context inference. In: POPL 1999, January 1999, ACM Press, New York (1999)

5. Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: POPL 1977, January 1977, ACM Press, New York (1977)

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

1. Lightweight precise automatic extraction of exception preconditions in java methods;Empirical Software Engineering;2023-12-26

2. What Is Thrown? Lightweight Precise Automatic Extraction of Exception Preconditions in Java Methods;2022 IEEE International Conference on Software Maintenance and Evolution (ICSME);2022-10

3. Automatic Inference of Heap Properties Exploiting Value Domains;Lecture Notes in Computer Science;2015

4. Verification modulo versions;Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation;2014-06-09

5. Verification modulo versions;ACM SIGPLAN Notices;2014-06-05