3931 search results - page 211 / 787 » Separation logic and abstraction |
153
click to vote
JSYML
2006
15 years 6 months ago
2006
Abstract. We present a generalisation of the type-theoretic interpretation of constructive set theory into Martin-L
148
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Deduction systems and graph rewriting systems are compared within a common categorical framework. This leads to an improved deduction method in diagrammatic logics.
151
click to vote
CADE
2007
Springer
16 years 6 months ago
2007
Springer
Abstract. Hoare logic is widely used for software specification and verification. Frequently we need to prove the total correctness of a program: to prove that the program not only...
173
click to vote
CADE
2006
Springer
16 years 6 months ago
2006
Springer
Abstract. The inverse method is a generalization of resolution that can be applied to non-classical logics. We have recently shown how Andreoli's focusing strategy can be adap...