Search Sciweavers | Sciweavers

8949 search results - page 160 / 1790

» is 1998

117

click to vote

RTA
1998
Springer

83views Theoretical Computer Science» more RTA 1998»

An On-line Problem Database

15 years 10 months ago

Download www.math.tau.ac.il

Nachum Dershowitz, Ralf Treinen

claim paper

Read More »

138

click to vote

SAS
1998
Springer

84views Formal Methods» more SAS 1998»

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

15 years 10 months ago

Download hal.archives-ouvertes.fr

Valérie Gouranton

claim paper

Read More »

132

click to vote

SAS
1998
Springer

65views Formal Methods» more SAS 1998»

Program Analysis as Model Checking of Abstract Interpretations

15 years 10 months ago

Download www.cs.ucla.edu

David A. Schmidt, Bernhard Steffen

claim paper

Read More »

164

click to vote

SAS
1998
Springer

86views Formal Methods» more SAS 1998»

Enabling Sparse Constant Propagation of Array Elements via Array SSA Form

15 years 10 months ago

Download www.cs.rice.edu

Vivek Sarkar, Kathleen Knobe

claim paper

Read More »

128

click to vote

SCHULE
1998
Springer

76views Information Technology» more SCHULE 1998»

Evaluation der Lehre

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers