Author:
Gilray Thomas,Might Matthew
Publisher
Springer Berlin Heidelberg
Reference30 articles.
1. Lecture Notes in Computer Science;O. Agesen,1994
2. Besson, F.C.: beats ∞-CFA. Formal Techniques for Java-like Programs, p. 7 (July 2009)
3. Cousot, P.: The calculational design of a generic abstract interpreter. In: Broy, M., Steinbrüggen, R. (eds.) Calculational System Design. NATO ASI Series F, pp. 421–506 (1999)
4. Cousot, P.: Types as Abstract Interpretations. In: Symposium on Principals of Programming Languages, pp. 316–331 (1997)
5. Cousot, P., Cousot, R.: Abstract Interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Symposium on Principals of Programming Languages, pp. 238–252 (1977)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs;Programming Languages and Systems;2020
2. Abstract allocation as a unified approach to polyvariance in control-flow analyses;Journal of Functional Programming;2018
3. Allocation characterizes polyvariance: a unified methodology for polyvariant control-flow analysis;ACM SIGPLAN Notices;2016-12-05
4. Allocation characterizes polyvariance: a unified methodology for polyvariant control-flow analysis;Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming;2016-09-04
5. 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