Sciweavers

4722 search results - page 110 / 945

» Representation-independent program analysis

81

ECEASST
2006

62views more ECEASST 2006»

Automation of Java Code Analysis for Programming Exercises

15 years 2 months ago

Automation of Java Code Analysis for Programming Exercises

Download zfh.uni-duisburg-essen.de

Carsten Köllmann, Michael Goedicke

claim paper

Read More »

114

Voted

CORR
2007
Springer

117views Education» more CORR 2007»

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

15 years 2 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

Voted

CORR
2007
Springer

84views Education» more CORR 2007»

Collection analysis for Horn clause programs

15 years 2 months ago

Collection analysis for Horn clause programs

Download www.lix.polytechnique.fr

Dale Miller

claim paper

Read More »

65

Voted

JOT
2008

57views more JOT 2008»

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

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

91

Voted

DISOPT
2007

84views more DISOPT 2007»

Conflict analysis in mixed integer programming

15 years 2 months ago

Conflict analysis in mixed integer programming

Download www.ima.umn.edu

Tobias Achterberg

claim paper

Read More »

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