Sciweavers

6960 search results - page 174 / 1392
» Continuity Analysis of Programs
Sort
View
56
Voted
CORR
2007
Springer
84views Education» more  CORR 2007»
15 years 3 months ago
Collection analysis for Horn clause programs
Dale Miller
JOT
2008
57views more  JOT 2008»
15 years 3 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»
15 years 3 months ago
Conflict analysis in mixed integer programming
Tobias Achterberg
85
Voted
SMR
2008
56views more  SMR 2008»
15 years 3 months ago
Introduction to the special issue on program comprehension through dynamic analysis (PCODA)
Andy Zaidman, Abdelwahab Hamou-Lhadj, Orla Greevy