912 search results - page 2 / 183 » Abstract Saturation-Based Inference |
JOT
2010
13 years 8 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 10 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 10 months ago
2004
IEEE
RECOMB
2007
Springer
14 years 10 months ago
2007
Springer
VMCAI
2009
Springer
14 years 4 months ago
2009
Springer