4617 search results - page 899 / 924 » Automation of Diagrammatic Reasoning |
140
click to vote
POPL
2010
ACM
15 years 11 months ago
2010
ACM
We present Low-Level Liquid Types, a refinement type system for C based on Liquid Types. Low-Level Liquid Types combine refinement types with three key elements to automate verifi...
114
click to vote
POPL
2010
ACM
15 years 11 months ago
2010
ACM
The automated inference of quantified invariants is considered one of the next challenges in software verification. The question of the right precision-efficiency tradeoff for the...
134
click to vote
WISE
2009
Springer
15 years 11 months ago
2009
Springer
ct One significant effort towards combining the virtues of Web search, viz. being accessible to untrained users and able to cope with vastly heterogeneous data, with those of dat...
145
click to vote
PLPV
2010
ACM
15 years 10 months ago
2010
ACM
Singleton types are often considered a poor man’s substitute for dependent types. But their generalization in the form of GADTs has found quite a following. The main advantage o...
127
click to vote
GIS
2009
ACM
15 years 8 months ago
2009
ACM
In this paper, we formalize the novel concept of Constrained Reverse k-Nearest Neighbor (CRkNN) search on mobile objects (clients) performed at a central server. The CRkNN query c...