Sciweavers

4719 search results - page 112 / 944
» Newtonian program analysis
Sort
View
ICFEM
2010
Springer
15 years 2 months ago
Software Metrics in Static Program Analysis
Andreas Vogelsang, Ansgar Fehnker, Ralf Huuck, Wol...
106
Voted
SAS
2010
Springer
148views Formal Methods» more  SAS 2010»
15 years 2 months ago
Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static Analysis
Isil Dillig, Thomas Dillig, Alex Aiken