116 search results - page 19 / 24 » Heap-Dependent Expressions in Separation Logic |
118
click to vote
INFOCOM
2010
IEEE
15 years 4 months ago
2010
IEEE
—This paper presents a novel transport protocol, CUSP, specifically designed with complex and dynamic network applications in mind. Peer-to-peer applications benefit in particu...
188
click to vote
BIBM
2010
IEEE
15 years 3 months ago
2010
IEEE
This study presents a novel computational approach to identifying a smoking-associated gene signature. The methodology contains the following steps: 1) identifying genes significa...
180
click to vote
FLOPS
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. We present a declarative method for diagnosing missing computed answers in CFLP(D), a generic scheme for lazy Constraint Functional-Logic Programming which can be instant...
145
click to vote
LICS
1995
IEEE
15 years 9 months ago
1995
IEEE
We prove that tree isomorphism is not expressible in the language (FO + TC + COUNT). This is surprising since in the presence of ordering the language captures NL, whereas tree is...
179
click to vote
ISSTA
2009
ACM
16 years 16 days ago
2009
ACM
Exception analysis and points-to analysis are typically done in complete separation. Past algorithms for precise exception analysis (e.g., pairing throw clauses with catch stateme...