Sciweavers

4725 search results - page 102 / 945

» Dependence-Based Program Analysis

111

IWPC
2010
IEEE

120views Software Engineering» more IWPC 2010»

Utilizing Web Search Engines for Program Analysis

15 years 3 months ago

Utilizing Web Search Engines for Program Analysis

Download icpc2010.di.uminho.pt

Daniel Ratiu, Lars Heinemann

claim paper

Read More »

97

JOT
2010

70views more JOT 2010»

How AspectJ is Used: An Analysis of Eleven AspectJ Programs

15 years 3 months ago

How AspectJ is Used: An Analysis of Eleven AspectJ Programs

Download www.infosun.fim.uni-passau.de

Sven Apel

claim paper

Read More »

112

SAS
2010
Springer

148views Formal Methods» more SAS 2010»

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

15 years 3 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 »

124

CORR
2011
Springer

157views Education» more CORR 2011»

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

14 years 11 months ago

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

Download www.ccs.neu.edu

Matthew Might, David Van Horn

claim paper

Read More »

104

EOR
2011

96views more EOR 2011»

Analysis of stochastic dual dynamic programming method

14 years 11 months ago

Analysis of stochastic dual dynamic programming method

Download www.optimization-online.org

Alexander Shapiro

claim paper

Read More »

« Prev « First page 102 / 945 Last » Next »