1516 search results - page 115 / 304 » Generalizing Indexical-Functional Reference |
POPL
1998
ACM
15 years 2 months ago
1998
ACM
Recent years have seen increasing interest in systems that reason about and manipulate executable code. Such systems can generally benefit from information about aliasing. Unfort...
VLDB
1998
ACM
15 years 2 months ago
1998
ACM
This paper describes the external forces that motivate financial institutions to collect, aggregate, analyze, and mine data so that it can be transformed into information, one of ...
SIGCOMM
1997
ACM
15 years 2 months ago
1997
ACM
We describe tcpanaly, a tool for automatically analyzing a TCP implementation's behavior by inspecting packet traces of the TCP's activity. Doing so requires surmounting...
KDD
1997
ACM
15 years 2 months ago
1997
ACM
To formulate a meaningful query on semistructured data, such as on the Web, that matches some of the source’s structure, we need first to discover something about how the infor...
ICLP
1993
Springer
15 years 2 months ago
1993
Springer
: Copy avoidance refers to the safe replacement, at compile time, of copying operations by destructive updates in single-assignment languages. Conceptually, the problem can be divi...