Search Sciweavers | Sciweavers

12272 search results - page 196 / 2455

» Experimental program analysis

170

click to vote

CAV
2004
Springer

159views Hardware» more CAV 2004»

Static Program Analysis via 3-Valued Logic

16 years 10 days ago

Download www.cs.wisc.edu

This paper reviews the principles behind the paradigm of “abstract interpretation via § -valued logic,” discusses recent work to extend the approach, and summarizes ongoing re...

Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm

claim paper

Read More »

129

click to vote

EUROPAR
2003
Springer

108views Distributed And Parallel Com...» more EUROPAR 2003»

DeWiz - A Modular tool Architecture for Parallel Program Analysis

16 years 5 days ago

Download www.csc.fi

Dieter Kranzlmüller, Michael Scarpa, Jens Vol...

claim paper

Read More »

163

click to vote

SFM
2010
Springer

231views Formal Methods» more SFM 2010»

Probabilistic Semantics and Program Analysis

16 years 8 hour ago

Download www.sti.uniurb.it

Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...

claim paper

Read More »

143

Voted

SAS
2001
Springer

109views Formal Methods» more SAS 2001»

Parameterizing a Groundness Analysis of Logic Programs

15 years 11 months ago

Download www.springer.com

Lunjin Lu

claim paper

Read More »

151

Voted

SAS
2001
Springer

117views Formal Methods» more SAS 2001»

An Abstract Analysis of the Probabilistic Termination of Programs

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers