3573 search results - page 51 / 715 » Reasoning about Codata |
HYBRID
2007
Springer
15 years 5 months ago
2007
Springer
106
Voted
LFCS
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. In order to verify programs with pointer variables, we introduce a temporal logic LTLmem whose underlying assertion language is the quantifier-free fragment of separatio...
PPDP
2007
Springer
15 years 5 months ago
2007
Springer
102
click to vote
SIGADA
2007
Springer
15 years 5 months ago
2007
Springer
Teaching beginners predicate transformer semantics for imperative languages is not a trivial task. For Computer Science majors, the teaching of the theoretical material must be su...
TACAS
2007
Springer
15 years 5 months ago
2007
Springer
