scholarly journals Undecidability of context-sensitive data-dependence analysis

2000 ◽  
Vol 22 (1) ◽  
pp. 162-186 ◽  
Author(s):  
Thomas Reps
2015 ◽  
Vol 50 (1) ◽  
pp. 83-95 ◽  
Author(s):  
Hao Tang ◽  
Xiaoyin Wang ◽  
Lingming Zhang ◽  
Bing Xie ◽  
Lu Zhang ◽  
...  

1995 ◽  
Vol 23 (1) ◽  
pp. 63-81 ◽  
Author(s):  
Dror E. Maydan ◽  
John L. Hennessy ◽  
Monica S. Lam

1998 ◽  
Vol 24 (3-4) ◽  
pp. 505-525 ◽  
Author(s):  
Wolfram Amme ◽  
Eberhard Zehendner

Sign in / Sign up

Export Citation Format

Share Document