Author:
Goyal Deepak,Paige Robert
Publisher
Springer Berlin Heidelberg
Reference30 articles.
1. ADA UK News, Vol. 6, No. 1, pp. 14–15, Jan 1985.
2. A. V. Aho, R. Sethi, and J. D. Ullman. Compilers: Principles, Techniques, and Tools. Addison Wesley, 1988.
3. J. Cai and R. Paige. Towards increased productivity of algorithm implementation. In Proc. ACM SIGSOFT, pages 71–78, Dec. 1993.
4. Lecture Notes;J. Cocke,1969
5. P. Cousot and R. Cousot. Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixed points. In Proc. 4th ACM Symp. on Principles of Prog. Lang., pages 238–252, 1977.
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献