Advanced Program Analyses and Verifications.

作者: François Irigoin , Thi Viet Nga Nguyen

DOI:

关键词:

摘要:

参考文章(8)
Ravi Sethi, Jeffrey D. Ullman, Alfred V. Aho, Compilers: Principles, Techniques, and Tools ,(1986)
Béatrice Creusillet, François Irigoin, Interprocedural Array Region Analyses International Journal of Parallel Programming. ,vol. 24, pp. 513- 546 ,(1996) , 10.1007/BF03356758
Alexey Loginov, Suan Hsi Yong, Susan Horwitz, Thomas Reps, Debugging via Run-Time Type Checking fundamental approaches to software engineering. pp. 217- 232 ,(2001) , 10.1007/3-540-45314-8_16
Alexander Schrijver, Theory of Linear and Integer Programming ,(1986)
Jozo J. Dujmovic, Ivo Dujmovic, Evolution and evaluation of SPEC benchmarks measurement and modeling of computer systems. ,vol. 26, pp. 2- 9 ,(1998) , 10.1145/306225.306228
John Appleyard, Comparing fortran compilers ACM SIGPLAN Fortran Forum. ,vol. 20, pp. 6- 10 ,(2001) , 10.1145/375738.375746
François Irigoin, Pierre Jouvelot, Rémi Triolet, Semantical interprocedural parallelization: an overview of the PIPS project international conference on supercomputing. pp. 143- 150 ,(1991) , 10.1145/2591635.2667163