Author:
Amme Wolfram,Zehendner Eberhard
Subject
Artificial Intelligence,Computer Graphics and Computer-Aided Design,Computer Networks and Communications,Hardware and Architecture,Theoretical Computer Science,Software
Reference27 articles.
1. S. Amarasinghe, J. Ander, C.W. Tseng, An overview of the SUIF compiler for scalable parallel machines, Proceedings of the SIAM Conference on Parallel Processing for Scientific Computing, San Francisco, 1995, pp. 662–667.
2. Interprocedural def-use associations for C systems with single level pointers;Pande;IEEE Trans. Software Eng.,1994
3. D.I.S. Marx, P.G. Frankl, The path-wise approach to data flow testing with pointer variables, Proceedings of the 1996 International Symposium on Software Testing and Analysis, San Diego, 1996, pp. 135–146.
4. H. Zima, B. Chapman, Supercompilers for Parallel and Vector Computers, ACM Press, New York, 1990.
5. P. Cousot, R. Cousot, Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixed points, Proceedings of the 4th Annual ACM Symposium on Principles of Programming Languages, New York, 1977, pp. 238–252.
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. SPIDER: Enabling Fast Patch Propagation In Related Software Repositories;2020 IEEE Symposium on Security and Privacy (SP);2020-05
2. Dependence analysis for C programs with combinability of dataflow facts under consideration;Wuhan University Journal of Natural Sciences;2009-07-12
3. Interstatement must aliases for data dependence analysis of heap locations;Proceedings of the 7th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering - PASTE '07;2007
4. A brief survey of program slicing;ACM SIGSOFT Software Engineering Notes;2005-03
5. An extended ANSI C for processors with a multimedia extension;International Journal of Parallel Programming;2003