8706 search results - page 475 / 1742 » Learning Subjective Language |
156
click to vote
DOCENG
2003
ACM
15 years 10 months ago
2003
ACM
XPath [3, 5] is a powerful and quite successful language able to perform complex node selection in trees through compact specifications. As such, it plays a growing role in many ...
153
click to vote
PLDI
2003
ACM
15 years 10 months ago
2003
ACM
An adaptation of the classic register allocation algorithm to the problem of array storage optimization in MATLAB is presented. The method involves the decomposition of an interfe...
137
click to vote
PPOPP
2003
ACM
15 years 10 months ago
2003
ACM
Gather and scatter are data redistribution functions of longstanding importance to high performance computing. In this paper, we present a highly-general array operator with power...
128
click to vote
TLDI
2003
ACM
15 years 10 months ago
2003
ACM
We develop a logic for reasoning about adjacency and separation of memory blocks, as well as aliasing of pointers. We provide a memory model for our logic and present a sound set ...
131
click to vote
ICFP
2000
ACM
15 years 9 months ago
2000
ACM
We show that standard formulations of intersection type systems are unsound in the presence of computational effects, and propose a solution similar to the value restriction for ...