Class-Level Modular Analysis for Object Oriented Languages-Reference-Cited by-同舟云学术

Class-Level Modular Analysis for Object Oriented Languages

Published:2003 Issue: Volume: Page:37-54
ISSN:0302-9743
Container-title:Static Analysis
language:
Short-container-title:

Author:

Logozzo Francesco

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-44898-5_3

Reference31 articles.

1. M. Abadi and L. Cardelli. A Theory of Objects. Springer-Verlag, New York, 1996.

2. A. Aggarwal and K.H. Randall. Related field analysis. In ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI’01). ACM, June 2001.

3. M. Atkinson, F. Bancilhon, D. DeWitt, K. Dittrich, D. Maier, and S. Zdonik. The object-oriented database system manifesto. In Proceedings of the First International Conference on Deductive and Object-Oriented Databases (DOOD’ 89), pages 223–240, Kyoto, Japan, 1989.

4. B. Blanchet. Escape analysis for object oriented languages. Application to Java. In 14th ACM Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA’99), pages 20–34, Denver, Colorado, November 1999.

5. Lect Notes Comput Sci;L. Cardelli,1984

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

1. Abstract interpretation;Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2014-07-14

2. Technology for inferring contracts from code;ACM SIGAda Ada Letters;2013-11-29

3. Inference of Necessary Field Conditions with Abstract Interpretation;Programming Languages and Systems;2012

4. Static Contract Checking with Abstract Interpretation;Formal Verification of Object-Oriented Software;2011

5. Class invariants as abstract interpretation of trace semantics;Computer Languages, Systems & Structures;2009-07