Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Theoretical Computer Science,Software
Reference28 articles.
1. Paul Feautrier, Parametric integer programming,RAIRO Recherche Opérationnlle,22:243?268 (September 1988).
2. N. Suzuki and D. Jefferson, Verification decidability of Pressburger array programs.Procs. of a Conf. on TCS, Waterloo (1977).
3. David J. Kuck,The Structure of Computers and Computations, J. Wiley and Sons, New York (1978).
4. D. A. Padua and Michael J. Wolfe, Advanced compiler optimization for supercomputers,CACM,29:1184?1201 (December 1986).
5. J. R. Allen and Ken Kennedy, Automatic translation of FORTRAN programs to vector form,ACM TOPLAS,9(4):491?542 (October 1987).
Cited by
318 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Efficient detection of redundancies in systems of linear inequalities✱;Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation;2024-07-16
2. Taking RNA-RNA Interaction to Machine Peak;IEEE Transactions on Parallel and Distributed Systems;2024-06
3. The Droplet Search Algorithm for Kernel Scheduling;ACM Transactions on Architecture and Code Optimization;2024-05-21
4. Clustering source code from automated assessment of programming assignments;International Journal of Data Science and Analytics;2024-05-15
5. Compiling Recurrences over Dense and Sparse Arrays;Proceedings of the ACM on Programming Languages;2024-04-29