1422 search results - page 97 / 285 » Complementation in Abstract Interpretation |
136
click to vote
AML
2002
15 years 4 months ago
2002
Abstract. It is shown the complete equivalence between the theory of continuous (enumeration) fuzzy closure operators and the theory of (effective) fuzzy deduction systems in Hilbe...
244
click to vote
POPL
2007
ACM
16 years 4 months ago
2007
ACM
This work presents a framework for fusing flow analysis and theorem proving called logic-flow analysis (LFA). The framework itthe reduced product of two abstract interpretations: ...
152
click to vote
ICLP
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. Groundness analysis of logic programs using Pos-based abstract interpretation is one of the clear success stories of the last decade in the area of logic program analysis...
143
click to vote
IPPS
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—A premier goal of resource allocators in virtualization environments is to control the relative resource consumption of the different virtual machines, and moreover, to ...
133
click to vote
FSTTCS
2001
Springer
15 years 9 months ago
2001
Springer
Given a binary relation IE ∪ IR on the set of ground terms e signature, we define an abstract rewrite closure for IE ∪ IR. act rewrite closure can be interpreted as a speciali...