Author:
Meunier Philippe,Findler Robert Bruce,Steckler Paul,Wand Mitchell
Publisher
Springer Science and Business Media LLC
Subject
Computer Science Applications,Software
Reference23 articles.
1. Aiken, A. Introduction to set constraint-based program analysis. Science of Computer Programming, 35 (1999) 79–111.
2. Aiken, A., Wimmers, E.L., and Lakshman, T.K. Soft typing with conditional types. In Proceeding of the 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '94), 1994, pp. 163–173.
3. Cormen, T.H., Leiserson, C.E., and Rivest, R.L. Introduction to Algorithms. MIT Press/McGraw-Hill, Cambridge, MA/New York, 1990.
4. Cousot, P. and Cousot, R. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In Conference Record of the Fourth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1977, pp. 238–252.
5. Dybvig, R.K. Chez Scheme User's Guide. Cadence Research Systems, 1998.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A spectrum of type soundness and performance;Proceedings of the ACM on Programming Languages;2018-07-30
2. Control-flow analysis of functional programs;ACM Computing Surveys;2012-06
3. Modular set-based analysis from contracts;ACM SIGPLAN Notices;2006-01-12