2316 search results - page 262 / 464 » The many forms of hypercomputation |
143
click to vote
ELPUB
2000
ACM
15 years 10 months ago
2000
ACM
XML is an SGML-based language designed for the interchange of documents with more flexible and powerful features than those provided by HTML. It can be considered as an intermedia...
127
click to vote
HT
2000
ACM
15 years 10 months ago
2000
ACM
In August of 1998 I completed the first hypertextual dissertation at Rensselaer Polytechnic Institute. The dissertation was a case study applying methods of rhetorical analysis an...
135
click to vote
PLDI
2000
ACM
15 years 10 months ago
2000
ACM
We present a new limited form of interprocedural analysis called field analysis that can be used by a compiler to reduce the costs of modern language features such as objectorien...
144
click to vote
PLDI
2000
ACM
15 years 10 months ago
2000
ACM
We describe a translation validation infrastructure for the GNU C compiler. During the compilation the infrastructure compares the intermediate form of the program before and afte...
179
click to vote
PODS
2000
ACM
15 years 10 months ago
2000
ACM
The problem of query containment is fundamental to many aspects of database systems, including query optimization, determining independence of queries from updates, and rewriting ...