1422 search results - page 29 / 285 » Complementation in Abstract Interpretation |
136
click to vote
SOFTVIS
2010
ACM
15 years 2 months ago
2010
ACM
Developers must often diagnose anomalies in programs they only have a partial knowledge of. As a result, they must simultaneously reverse engineer parts of the system they are unf...
118
click to vote
JCT
2006
15 years 1 months ago
2006
Abstract. Previous research extending over a few decades has established that multiplicatively large sets (in any of several interpretations) must have substantial additive structu...
EUSFLAT
2007
15 years 3 months ago
2007
Lattice-valued entropy functions defined by a lattice-valued possibilistic distribution π on a space Ω are defined as the expected value (in the sense of Sugeno integral) of ...
120
click to vote
SIGLEX
1991
15 years 5 months ago
1991
This paper argues for a two-level theory of semantics as opposed to a one-level theory, based on the example of the system of temporal and durationM connectives. Instead of identi...
102
click to vote
VMCAI
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Several verification methods involve reasoning about multi-valued systems, in which an atomic proposition is interpreted at a state as a lattice element, rather than a B...