Sciweavers

3 search results - page 1 / 1
» sas 1998
Sort
View
89
Voted
SAS
1998
Springer
15 years 2 months ago
Enabling Sparse Constant Propagation of Array Elements via Array SSA Form
Vivek Sarkar, Kathleen Knobe
64
Voted
SAS
1998
Springer
15 years 2 months ago
Program Analysis as Model Checking of Abstract Interpretations
David A. Schmidt, Bernhard Steffen