3068 search results - page 58 / 614 » Separation Results on the |
ENTCS
2008
14 years 12 months ago
2008
We formalize higher-order separation logic for a first-order imperative language with procedures and local variables in Isabelle/HOLCF. The assertion language is modeled in such a...
STOC
2006
ACM
16 years 5 days ago
2006
ACM
We consider the problem of bounded-error quantum state identification: given either state 0 or state 1, we are required to output `0', `1' or `?' ("don't ...
INFOCOM
2007
IEEE
15 years 6 months ago
2007
IEEE
— A deep understanding of the structural properties of wireless networks is critical for evaluating the performance of network protocols and improving their designs. Many protoco...
108
click to vote
CSCW
2004
ACM
15 years 5 months ago
2004
ACM
Single Display Groupware (SDG) lets multiple co-located people, each with their own input device, interact simultaneously over a single communal display. While SDG is beneficial, ...
194
click to vote
POPL
2008
ACM
16 years 5 days ago
2008
ACM
We propose a novel approach to proving the termination of heapmanipulating programs, which combines separation logic with cyclic proof within a Hoare-style proof system. Judgement...