Search Sciweavers | Sciweavers

957 search results - page 18 / 192

» Modular Static Program Analysis

162

click to vote

AGP
2010
IEEE

284views Artificial Intelligence» more AGP 2010»

Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming

15 years 8 months ago

Download www.math.unipd.it

Giorgio Delzanno, Roberto Giacobazzi, Francesco Ra...

claim paper

Read More »

131

click to vote

CORR
2007
Springer

117views Education» more CORR 2007»

Towards Execution Time Estimation for Logic Programs via Static Analysis and Profiling

15 years 4 months ago

Download www.clip.dia.fi.upm.es

Edison Mera, Pedro López-García, Ger...

claim paper

Read More »

click to vote

JOT
2008

57views more JOT 2008»

A Static Analysis to Detect Re-Entrancy in Object Oriented Programs

15 years 4 months ago

Download www.jot.fm

Manuel Fähndrich, Diego Garbervetsky, Wolfram...

claim paper

Read More »

click to vote

ICFEM
2010
Springer

161views Software Engineering» more ICFEM 2010»

Software Metrics in Static Program Analysis

15 years 2 months ago

Download www4.in.tum.de

Andreas Vogelsang, Ansgar Fehnker, Ralf Huuck, Wol...

claim paper

Read More »

111

click to vote

SAS
2010
Springer

148views Formal Methods» more SAS 2010»

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

15 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers