Author:
Lerner Sorin,Millstein Todd,Chambers Craig
Subject
General Computer Science,Theoretical Computer Science
Reference29 articles.
1. Chambers, C., J. Dean and D. Grove, Frameworks for intra- and interprocedural dataflow analysis, Technical Report UW-CSE-96-11-02, University of Washington (1996)
2. Cousot, P. and R. Cousot, Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints, in: Conference Record of the Fourth ACM Symposium on Principles of Programming Languages, Los Angeles CA, 1977, pp. 238–252
3. Cousot, P. and R. Cousot, Systematic design of program analysis frameworks, in: Conference Record of the Sixth ACM Symposium on Principles of Programming Languages, San Antonio TX, 1979, pp. 269–282
4. Cousot, P. and R. Cousot, Systematic design of program transformation frameworks by abstract interpretation, in: Conference Record of the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Portland OR, 2002
5. VLISP: a verified implementation of Scheme;Guttman;Lisp and Symbolic Compucation,1995
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Clog: A Declarative Language for C Static Code Checkers;Proceedings of the 33rd ACM SIGPLAN International Conference on Compiler Construction;2024-02-17
2. Deriving efficient program transformations from rewrite rules;Proceedings of the ACM on Programming Languages;2021-08-22
3. Verified peephole optimizations for CompCert;ACM SIGPLAN Notices;2016-08
4. Verified peephole optimizations for CompCert;Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation;2016-06-02