Sciweavers

1880 search results - page 60 / 376

» A Static Analysis for Beta-Binders

53

ENTCS
2008

77views more ENTCS 2008»

A Comparative Study of Industrial Static Analysis Tools

14 years 11 months ago

A Comparative Study of Industrial Static Analysis Tools

Download www.ep.liu.se

Pär Emanuelsson, Ulf Nilsson

claim paper

Read More »

92

CORR
2007
Springer

117views Education» more CORR 2007»

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

14 years 11 months ago

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

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

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

claim paper

Read More »

50

CORR
2007
Springer

105views Education» more CORR 2007»

Applying the Z-transform for the static analysis of floating-point numerical filters

14 years 11 months ago

Applying the Z-transform for the static analysis of floating-point numerical filters

Download hal.archives-ouvertes.fr

David Monniaux

claim paper

Read More »

45

JOT
2008

57views more JOT 2008»

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

14 years 11 months ago

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

Download www.jot.fm

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

claim paper

Read More »

77

Voted

JFP
2006

80views more JFP 2006»

Static analysis for path correctness of XML queries

14 years 11 months ago

Static analysis for path correctness of XML queries

Download www.di.unipi.it

A part of a query that will never contribute data to the query answer should be regarded as an error. This principle has been recently accepted into mainstream XML query languages...

Dario Colazzo, Giorgio Ghelli, Paolo Manghi, Carlo...

claim paper

Read More »

« Prev « First page 60 / 376 Last » Next »