Sciweavers

33

SAS
1998
Springer

86views Formal Methods» more SAS 1998»

Enabling Sparse Constant Propagation of Array Elements via Array SSA Form

14 years 3 months ago

Enabling Sparse Constant Propagation of Array Elements via Array SSA Form

Download www.cs.rice.edu

Vivek Sarkar, Kathleen Knobe

claim paper

Read More »

31

SAS
1998
Springer

65views Formal Methods» more SAS 1998»

Program Analysis as Model Checking of Abstract Interpretations

14 years 3 months ago

Program Analysis as Model Checking of Abstract Interpretations

Download www.cs.ucla.edu

David A. Schmidt, Bernhard Steffen

claim paper

Read More »

31

SAS
1998
Springer

84views Formal Methods» more SAS 1998»

Deriving Analysers by Folding/Unfolding of Natural Semantics and a Case Study: Slicing

14 years 3 months ago

Deriving Analysers by Folding/Unfolding of Natural Semantics and a Case Study: Slicing

Download hal.archives-ouvertes.fr

Valérie Gouranton

claim paper

Read More »