3573 search results - page 51 / 715 » Reasoning about Codata |
150
Voted
HYBRID
2007
Springer
16 years 22 days ago
2007
Springer
189
click to vote
LFCS
2007
Springer
16 years 21 days 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...
188
click to vote
SIGADA
2007
Springer
16 years 20 days 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...
