6201 search results - page 16 / 1241 » Implementation of Axiomatic Language |
108
Voted
SIGADA
1998
Springer
15 years 7 months ago
1998
Springer
103
Voted
ERLANG
2008
ACM
15 years 4 months ago
2008
ACM
215
Voted
POPL
2006
ACM
16 years 3 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...
116
Voted
KR
2004
Springer
15 years 8 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...
155
Voted
AIML
2008
15 years 4 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 ...