Publisher
Springer Berlin Heidelberg
Reference29 articles.
1. John P. Banning: "An Efficient Way to Find the Side Effects of Procedure Calls and the Aliases of Variables", Sixth Annual ACM Symposium on Principles of Programming Languages, SIGACT-SIGPLAN, San Antonio, Jan. 1979, pp. 29–41.
2. Gerald M. Berns: "Assessing Software Maintainability", Comm. of the ACM, Jan. 1984, pp. 14–23.
3. Roy H. Campbell, Peter A. Kirslis: "The SAGA Project: A System for Program Development", Proc. ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, 23–25 April 1984, Pittsburgh. In ACM SIGPLAN Notices, Vol. 19, No. 5, May 1984, pp. 73–80.
4. Fun Ting Chan, Tsong Yueh Chen: "AIDA — A Dynamic Data Flow Anomaly Detection System for Pascal Programs", Software — Practice and Experience, Vol. 17 No. 3, 1986, pp. 227–239.
5. Reidar Conradi: "Experience with FORTRAN VERIFIER, a Tool for Documentation and Error Diagnosis of FORTRAN-77 programs", Tech. Report 19/86, Div. of Computer Science, Norw. Inst. of Tech., Trondheim, Feb. 1986 (rev. April 1987), 21 pp.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献