1536 search results - page 10 / 308 » The Underlying Logic of Hoare Logic |
AMAST
2004
Springer
13 years 11 months ago
2004
Springer
This paper presents a new rule for reasoning about method calls in object-oriented programs. It is an adaptation of Hoare's rule of adaptation to the object-oriented paradigm,...
LICS
2002
IEEE
14 years 8 days ago
2002
IEEE
In joint work with Peter O’Hearn and others, based on early ideas of Burstall, we have developed an extension of Hoare logic that permits reasoning about low-level imperative pr...
LICS
2008
IEEE
14 years 1 months ago
2008
IEEE
We present a logic for algebraic effects, based on the algebraic representation of computational effects by operations and equations. We begin with the a-calculus, a minimal calcu...
EUSFLAT
2009
13 years 5 months ago
2009
