Search Sciweavers | Sciweavers

4722 search results - page 102 / 945

» Representation-independent program analysis

157

Voted

CAV
2004
Springer

108views Hardware» more CAV 2004»

Formal Analysis of Java Programs in JavaFAN

16 years 26 days ago

Download formal.cs.uiuc.edu

Azadeh Farzan, Feng Chen, José Meseguer, Gr...

claim paper

Read More »

184

click to vote

CAV
2004
Springer

159views Hardware» more CAV 2004»

Static Program Analysis via 3-Valued Logic

16 years 26 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 »

143

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 21 days ago

Download www.csc.fi

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

claim paper

Read More »

174

click to vote

SFM
2010
Springer

231views Formal Methods» more SFM 2010»

Probabilistic Semantics and Program Analysis

16 years 16 days ago

Download www.sti.uniurb.it

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

claim paper

Read More »

156

Voted

SAS
2001
Springer

109views Formal Methods» more SAS 2001»

Parameterizing a Groundness Analysis of Logic Programs

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers