2623 search results - page 24 / 525 » Hoare Logic in the Abstract |
POPL
2008
ACM
14 years 7 months ago
2008
ACM
POPL
2005
ACM
14 years 7 months ago
2005
ACM
RELMICS
2009
Springer
13 years 12 months ago
2009
Springer
Abstract. A Concurrent Kleene Algebra offers two composition operators, one that stands for sequential execution and the other for concurrent n [10]. In this paper we investigate ...
CADE
2003
Springer
14 years 7 months ago
2003
Springer
PLPV
2011
ACM
12 years 10 months ago
2011
ACM
Soundness proofs of program logics such as Hoare logics and type systems are often made easier by decorating the operational semantics with information that is useful in the proof...