Sciweavers

3 search results - page 1 / 1

» sas 1998

14

SAS
1998
Springer

84views Formal Methods» more SAS 1998»

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

13 years 9 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 »

16

SAS
1998
Springer

86views Formal Methods» more SAS 1998»

Enabling Sparse Constant Propagation of Array Elements via Array SSA Form

13 years 9 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 »

11

SAS
1998
Springer

65views Formal Methods» more SAS 1998»

Program Analysis as Model Checking of Abstract Interpretations

13 years 9 months ago

Program Analysis as Model Checking of Abstract Interpretations

Download www.cs.ucla.edu

David A. Schmidt, Bernhard Steffen

claim paper

Read More »

« Prev « First page 1 / 1 Last » Next »