1422 search results - page 2 / 285 » Complementation in Abstract Interpretation |
ICCAD
2001
IEEE
14 years 3 months ago
2001
IEEE
tems. STARS manipulates abstract representations of system components to obtain upper bounds on the number of various events in the system, as well as a bound on the response time....
AMAST
1997
Springer
13 years 10 months ago
1997
Springer
SAS
1999
Springer
13 years 10 months ago
1999
Springer
Complementation, the inverse of the reduced product operation, is a technique for systemfinding minimal decompositions of abstract domains. Fil´e and Ranzato advanced the state ...
CORR
2008
Springer
13 years 6 months ago
2008
Springer
al abstract interpretation A formal study using Coq Yves Bertot INRIA Sophia-M
DCC
2008
IEEE
14 years 5 months ago
2008
IEEE
Abstract. Orbits of graphs under the operation edge local complementation (ELC) are defined. We show that the ELC orbit of a bipartite graph corresponds to the equivalence class of...