A generic framework for heap and value analyses of object-oriented programming languages-Reference-Cited by-同舟云学术

A generic framework for heap and value analyses of object-oriented programming languages

Author:

Ferrara Pietro

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference35 articles.

1. Program analysis and specialization for the C programming language;Andersen,1994

2. Parametric shape analysis via 3-valued logic;Sagiv;ACM Trans. Program. Lang. Syst.,2002

3. Automatic discovery of linear restraints among variables of a program;Cousot,1978

4. The octagon abstract domain;Miné,2006

5. Towards the integration of symbolic and numerical static analysis;Venet,2005

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

1. Sound Static Analysis for Microservices: Utopia? A Preliminary Experience with LiSA;Proceedings of the 26th ACM International Workshop on Formal Techniques for Java-like Programs;2024-09-20

3. Ensuring determinism in blockchain software with GoLiSA: an industrial experience report;Proceedings of the 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis;2022-06-14

4. Static analysis for dummies: experiencing LiSA;Proceedings of the 10th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis;2021-06-20