912 search results - page 2 / 183 » Abstract Saturation-Based Inference |
JOT
2010
13 years 3 months ago
2010
Abstract Periodic refactoring of a large source code often becomes a necessity especially for long-lived projects. In order to increase maintainability and extensibility of such pr...
SAS
2009
Springer
14 years 5 months ago
2009
Springer
Polyhedra: An Abstract Domain to Infer Interval Linear Relationships Liqian Chen1,2 , Antoine Min?e2,3 , Ji Wang1 , and Patrick Cousot2,4 1 National Laboratory for Parallel and Dis...
ICPR
2004
IEEE
14 years 6 months ago
2004
IEEE
RECOMB
2007
Springer
14 years 5 months ago
2007
Springer
VMCAI
2009
Springer
14 years 4 days ago
2009
Springer