1940 search results - page 13 / 388 » The Dynamic Logic of Permission |
CORR
2007
Springer
14 years 11 months ago
2007
Springer
Common knowledge logic is meant to describe situations of the real world where a group of agents is involved. These agents share knowledge and make strong hypotheses on the knowled...
99
Voted
POPL
2012
ACM
13 years 7 months ago
2012
ACM
Separation Logic has witnessed tremendous success in recent years in reasoning about programs that deal with heap storage. Its success owes to the fundamental principle that one s...
105
click to vote
VSTTE
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. The Composite design pattern is an exemplar of specification and verification challenges for sequential object-oriented programs. Region logic is a Hoare logic augmente...
EUSFLAT
2009
14 years 9 months ago
2009
185
Voted
ECOOP
2009
Springer
16 years 9 days ago
2009
Springer
The dynamic frames approach has proven to be a powerful formalism for specifying and verifying object-oriented programs. However, it requires writing and checking many frame annota...