4595 search results - page 73 / 919 » Reasoning about Plans |
151
Voted
LFCS
2007
Springer
15 years 10 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...
121
Voted
PPDP
2007
Springer
15 years 10 months ago
2007
Springer
159
Voted
SIGADA
2007
Springer
15 years 10 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 10 months ago
2007
Springer
