634 search results - page 10 / 127 » Separability in the Ambient Logic |
154
click to vote
LICS
2006
IEEE
16 years 23 hour ago
2006
IEEE
A compositional Petri net based semantics is given to a simple pointer-manipulating language. The model is then applied to give a notion of validity to the judgements made by conc...
203
click to vote
AMAST
2006
Springer
15 years 9 months ago
2006
Springer
This paper proposes a modal extension of Separation Logic [8, 11] for reasoning about data-parallel programs that manipulate heap allocated linked data structures. Separation Logi...
195
click to vote
UC
2009
Springer
16 years 16 days 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...
156
click to vote
VSTTE
2005
Springer
15 years 11 months ago
2005
Springer
After some general remarks about program verification, we introduce separation logic, a novel extension of Hoare logic that can strengthen the applicability and scalability of pro...
170
click to vote
HCI
2007
15 years 7 months ago
2007
Abstract. A major challenge of Ambient Intelligence lies in building middleware that can ease service implementation through allowing the application developer to emphasize only th...