Search Sciweavers | Sciweavers

4722 search results - page 102 / 945

» Representation-independent program analysis

click to vote

CAV
2004
Springer

108views Hardware» more CAV 2004»

Formal Analysis of Java Programs in JavaFAN

14 years 2 months ago

Download formal.cs.uiuc.edu

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

claim paper

Read More »

click to vote

CAV
2004
Springer

159views Hardware» more CAV 2004»

Static Program Analysis via 3-Valued Logic

14 years 2 months 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 »

click to vote

EUROPAR
2003
Springer

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

DeWiz - A Modular tool Architecture for Parallel Program Analysis

14 years 2 months ago

Download www.csc.fi

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

claim paper

Read More »

click to vote

SFM
2010
Springer

231views Formal Methods» more SFM 2010»

Probabilistic Semantics and Program Analysis

14 years 2 months ago

Download www.sti.uniurb.it

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

claim paper

Read More »

click to vote

SAS
2001
Springer

109views Formal Methods» more SAS 2001»

Parameterizing a Groundness Analysis of Logic Programs

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers