Sciweavers

4716 search results - page 93 / 944
» Iterative-free program analysis
Sort
View
ECEASST
2006
62views more  ECEASST 2006»
14 years 10 months ago
Automation of Java Code Analysis for Programming Exercises
Carsten Köllmann, Michael Goedicke
JOT
2008
57views more  JOT 2008»
14 years 9 months ago
A Static Analysis to Detect Re-Entrancy in Object Oriented Programs
Manuel Fähndrich, Diego Garbervetsky, Wolfram...
DISOPT
2007
84views more  DISOPT 2007»
14 years 9 months ago
Conflict analysis in mixed integer programming
Tobias Achterberg