Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model-Reference-Cited by-同舟云学术

Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model

Published: Issue: Volume: Page:116-133
ISSN:
Container-title:Tests and Proofs
language:
Short-container-title:

Author:

Ferrara Pietro

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-79124-9_9.pdf

Reference25 articles.

1. Alexandrescu, A., Boehm, H., Henney, K., Lea, D., Pugh, B.: Memory model for multithreaded c++. C++ standards committee paper WG21/N1680 (September 2004)

2. Lecture Notes in Computer Science;P. Cenciarelli,2007

3. Chaumette, S., Ugarte, A.: A formal model of the java multi-threading system and its validation on a known problem. In: Proceedings of IPDPS 2001, IEEE Computer Society, Los Alamitos (2001)

4. Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Proceedings of POPL 1977, pp. 238–252. ACM Press, New York (1977)

5. Cousot, P., Cousot, R.: Systematic design of program analysis frameworks. In: Proceedings of POPL 1979, pp. 269–282. ACM Press, New York (1979)

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

1. Improving Thread-Modular Abstract Interpretation;Static Analysis;2021

2. Correctness of Partial Escape Analysis for Multithreading Optimization;Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs;2017-06-18

3. 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

4. Static Analysis of Run-Time Errors in Embedded Real-Time Parallel C Programs;Logical Methods in Computer Science;2012-03-26

5. Static Analysis of Run-Time Errors in Embedded Critical Parallel C Programs;Programming Languages and Systems;2011