Sciweavers

4725 search results - page 101 / 945
» Dependence-Based Program Analysis
Sort
View
96
Voted
CORR
2000
Springer
63views Education» more  CORR 2000»
15 years 2 months ago
Termination analysis of logic programs using acceptability with general term orders
Alexander Serebrenik, Danny De Schreye
85
Voted
ICFEM
2010
Springer
15 years 1 months ago
Software Metrics in Static Program Analysis
Andreas Vogelsang, Ansgar Fehnker, Ralf Huuck, Wol...