1071 search results - page 23 / 215 » Modal Logics, Description Logics and Arithmetic Reasoning |
106
click to vote
DLOG
2007
14 years 12 months ago
2007
We compare and contrast Description Logic (DL) and Order-Sorted Feature (OSF) Logic from the perspective of using them for expressing and reasoning with knowledge structures of the...
ICFP
2005
ACM
15 years 9 months ago
2005
ACM
We present a compositional program logic for call-by-value imperative higher-order functions with general forms of aliasing, which can arise from the use of reference names as fun...
88
Voted
ENTCS
2008
14 years 9 months ago
2008
We show how to reason, in the proof assistant Coq, about realistic programming languages using a combination of separation logic and heterogeneous multimodal logic. A heterogeneou...
GRC
2005
IEEE
15 years 3 months ago
2005
IEEE
110
click to vote
ESOP
2006
Springer
15 years 1 months ago
2006
Springer
This paper presents a new program logic designed for facilitating automated reasoning about pointer programs. The program logic is directly inspired by previous work by O'Hea...