Author:
Pratikakis Polyvios,Foster Jeffrey S.,Hicks Michael
Publisher
Springer Berlin Heidelberg
Reference30 articles.
1. Das, M.: Unification-based Pointer Analysis with Directional Assignments. In: The 2000 Conference on Programming Language Design and Implementation, Vancouver, BC, Canada, pp. 35–46 (2000)
2. Mitchell, J.C., Plotkin, G.D.: Abstract types have existential type. ACM Transactions on Programming Languages and Systems 10, 470–502 (1988)
3. Xi, H., Pfenning, F.: Dependent Types in Practical Programming. In: The 26th Annual Symposium on Principles of Programming Languages, San Antonio, Texas, pp. 214–227 (1999)
4. Pratikakis, P., Foster, J.S., Hicks, M.: Context-Sensitive Correlation Analysis for Race Detection. In: The 2006 Conference on Programming Language Design and Implementation, Ottawa, Canada (to appear, 2006)
5. Lecture Notes in Computer Science;C. Flanagan,1999
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Mutual Refinements of Context-Free Language Reachability;Static Analysis;2023
2. Indexing the extended Dyck-CFL reachability for context-sensitive program analysis;Proceedings of the ACM on Programming Languages;2022-10-31
3. C to checked C by 3c;Proceedings of the ACM on Programming Languages;2022-04-29
4. Bar-Hillel Theorem Mechanization in Coq;Logic, Language, Information, and Computation;2019
5. Parser combinators for context-free path querying;Proceedings of the 9th ACM SIGPLAN International Symposium on Scala;2018-09-17