Author:
Aiken Alexander,Fähndrich Manuel,Foster Jeffrey S.,Su Zhendong
Publisher
Springer Berlin Heidelberg
Reference34 articles.
1. A. Aiken, M. Fähndrich, and Z. Su. Detecting Races in Relay Ladder Logic Programs. In Tools and Algorithms for the Construction and Analysis of Systems, 4th International Conference, TACAS’98, volume 1384 of LNCS, pages 184–200, Lisbon, Portugal, 1998. Springer.
2. M. Alt and F. Martin. Generation of efficient interprocedural analyzers with PAG. Lecture Notes in Computer Science, 983: 33–50, 1995.
3. L. Andersen. Program Analysis and Specialization for the C Programming Language. PhD thesis, DIKU, University of Cophenhagen, May 1994.
4. U. Assmann. How to Uniformly Specify Program Analysis and Transformation with Graph Rewrite Systems. In Proceedings of the Sixth International Conference on Compiler Construction (CC ’96), pages 121–135. Springer-Verlag, April 1996.
5. A. Adl-Tabatabai, T. Gross, and G. Lueh. Code Reuse in an Optimizing Compiler. In Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA ’96), pages 51–68, October 1996.
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The history of Standard ML;Proceedings of the ACM on Programming Languages;2020-06-12
2. Set Constraints, Pattern Match Analysis, and SMT;Lecture Notes in Computer Science;2020
3. Supporting Program Analysis for Non-Mainstream Languages: Experiences and Lessons Learned;2016 IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering (SANER);2016-03
4. Static Analysis: A Survey of Techniques and Tools;Intelligent Computing and Applications;2015
5. Static Type Analysis for Python;2014 11th Web Information System and Application Conference;2014-09