3776 search results - page 59 / 756 » Partition-Based Logical Reasoning |
ENTCS
2007
13 years 10 months ago
2007
We present local Hoare reasoning about data update, using Context Logic for analysing structured data. We apply our reasoning to tree update, heap update which is analogous to loc...
UC
2009
Springer
14 years 4 months ago
2009
Springer
We present a logical approach to the separability analysis issue for a functional quantum computation language. This logic is inspired by previous works on logical analysis of alia...
JELIA
2004
Springer
14 years 3 months ago
2004
Springer
Logical formalisation of agent behaviour is desirable, not only in order to provide a clear semantics of agent-based systems, but also to provide the foundation for sophisticated r...
ICLP
2009
Springer
14 years 10 months ago
2009
Springer
CADE
2009
Springer
14 years 2 months ago
2009
Springer
