Search Sciweavers | Sciweavers

792 search results - page 11 / 159

» Static Analysis of XSLT Programs

118

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 3 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 3 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 1 months ago

Download www4.in.tum.de

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

claim paper

Read More »

101

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 1 months ago

Download www.stanford.edu

Isil Dillig, Thomas Dillig, Alex Aiken

claim paper

Read More »

107

click to vote

CORR
2011
Springer

157views Education» more CORR 2011»

A family of abstract interpretations for static analysis of concurrent higher-order programs

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers