6201 search results - page 16 / 1241 » Implementation of Axiomatic Language |
SIGADA
1998
Springer
14 years 20 days ago
1998
Springer
ERLANG
2008
ACM
13 years 10 months ago
2008
ACM
POPL
2006
ACM
14 years 8 months ago
2006
ACM
We describe a novel method for verifying programs that manipulate linked lists, based on two new predicates that characterize reachability of heap cells. These predicates allow re...
KR
2004
Springer
14 years 1 months ago
2004
Springer
Causation is defined recursively: event e is the cause of condition φ in context c iff e is the only sufficient cause of φ in c, and removing e from c either removes φ from c...
AIML
2008
13 years 10 months ago
2008
abstract. We investigate an alternative presentation of classical and positive modal logic where the coalgebraic cover modality is taken as primitive. For each logic, we present a ...