The following pages link to Jeanne Ferrante (Q1244339):
Displaying 12 items.
- An efficient decision procedure for the theory of rational order (Q1244341) (← links)
- The computational complexity of logical theories (Q1256445) (← links)
- (Q2779293) (← links)
- (Q2783001) (← links)
- Folklore confirmed (Q2942916) (← links)
- (Q3341865) (← links)
- The program dependence graph and its use in optimization (Q3761672) (← links)
- A Decision Procedure for the First Order Theory of Real Addition with Order (Q4046035) (← links)
- COMPILE-TIME ANALYSIS AND OPTIMIZATION OF EXPLICITLY PARALLEL PROGRAMS* (Q4366892) (← links)
- (Q4401928) (← links)
- (Q4860232) (← links)
- Languages and Compilers for Parallel Computing (Q5714215) (← links)
