Sciweavers

1023 search results - page 13 / 205

» A Formal Method for Program Slicing

130

FMCAD
2008
Springer

77views Formal Methods» more FMCAD 2008»

Symbolic Program Analysis Using Term Rewriting and Generalization

15 years 7 months ago

Symbolic Program Analysis Using Term Rewriting and Generalization

Download www.nec-labs.com

Nishant Sinha

claim paper

Read More »

129

SAS
2010
Springer

148views Formal Methods» more SAS 2010»

Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static Analysis

15 years 4 months ago

Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static Analysis

Download www.stanford.edu

Isil Dillig, Thomas Dillig, Alex Aiken

claim paper

Read More »

145

FORTE
2009

96views Formal Methods» more FORTE 2009»

A Type Graph Model for Java Programs

15 years 3 months ago

A Type Graph Model for Java Programs

Download eprints.eemcs.utwente.nl

Arend Rensink, Eduardo Zambon

claim paper

Read More »

110

SIGADA
1999
Springer

89views Programming Languages» more SIGADA 1999»

Formal modeling of synchronization methods for concurrent objects in Ada 95

15 years 10 months ago

Formal modeling of synchronization methods for concurrent objects in Ada 95

Download www.sigada.org

Ravi K. Gedela, Sol M. Shatz, Haiping Xu

claim paper

Read More »

167

PLDI
2005
ACM

100views Programming Languages» more PLDI 2005»

15 years 11 months ago

Download pho.ucsd.edu

We present a new technique, path slicing, that takes as input a possibly infeasible path to a target location, and eliminates all the operations that are irrelevant towards the re...

Ranjit Jhala, Rupak Majumdar

claim paper

Read More »

« Prev « First page 13 / 205 Last » Next »