Author:
Rus Silvius,Zhang Dongmin,Rauchwerger Lawrence
Publisher
Springer Berlin Heidelberg
Reference29 articles.
1. Ammarguellat, Z., Harrison, W.L.: III. Automatic recognition of induction variables and recurrence relations by abstract interpretation. In: ACM SIGPLAN 1990 Conference on Programming Language Design and Implementation, White Plains, N.Y, June 1990, pp. 283–295 (1990)
2. Ballance, R.A., Maccabe, A.B., Ottenstein, K.J.: The Program Dependence Web: A representation supporting control-, data-, and demand-driven interpretation of imperative languages. In: ACM SIGPLAN 1990 Conference on Programming Language Design and Implementation, White Plains, N.Y, June 1990, pp. 257–271 (1990)
3. Blume, W., Eigenmann, R.: Symbolic Range Propagation. Technical Report 1381, Univ of Illinois at Urbana-Champaign, Cntr for Supercomputing R&D (1994)
4. Lecture Notes in Computer Science;D. Callahan,1992
5. Chen, S.-C., Kuck, D.J.: Time and parallel processor bounds for linear recurrence systems. IEEE Transactions on Computers 24(7), 701–717 (1975)