31 search results - page 1 / 7 » Generalized Strong Preservation by Abstract Interpretation |
LOGCOM
2007
13 years 8 months ago
2007
IANDC
2008
13 years 8 months ago
2008
act Interpretation Francesco Ranzato and Francesco Tapparo Dipartimento di Matematica Pura ed Applicata, Universit`a di Padova, Italy The Paige and Tarjan algorithm (PT) for comp...
ESOP
2004
Springer
14 years 1 months ago
2004
Springer
ECSQARU
2001
Springer
14 years 1 months ago
2001
Springer
Abstract A (general) preferential entailment is defined by a “preference relation” among “states”. States can be either interpretations or sets of interpretations, or “c...
INFORMATICALT
2007
13 years 8 months ago
2007
Abstract. This paper considers Lur’e type descriptor systems (LDS). The concept of strongly absolute stability is defined for LDS and such a notion is a generalization of absolu...