29 search results - page 3 / 6 » lics 2002 |
ITC
2002
IEEE
13 years 11 months ago
2002
IEEE
LICS
2002
IEEE
13 years 11 months ago
2002
IEEE
We introduce three formal theories of increasing strength for linear algebra in order to study the complexity of the concepts needed to prove the basic theorems of the subject. We...
LICS
2002
IEEE
13 years 11 months ago
2002
IEEE
We investigate NLTL, a linear-time temporal logic with forgettable past. NLTL can be exponentially more succinct than LTL + Past (which in turn can be more succinct than LTL). We ...
DAC
2002
ACM
14 years 7 months ago
2002
ACM
LICS
2002
IEEE
13 years 11 months ago
2002
IEEE
In joint work with Peter O’Hearn and others, based on early ideas of Burstall, we have developed an extension of Hoare logic that permits reasoning about low-level imperative pr...