12741 search results - page 167 / 2549 » Editorial and call for papers |
188
click to vote
AGP
1993
IEEE
15 years 10 months ago
1993
IEEE
Abstract. This paper presents a general approach to the Abstract Interpretation of Prolog programs with cut. In most of previous approaches the cut primitive is merely ignored. Our...
171
click to vote
POPL
1993
ACM
15 years 10 months ago
1993
ACM
A polymorphic function is parametric if its behavior does not depend on the type at which it is instantiated. Starting with Reynolds's work, the study of parametricity is typ...
169
click to vote
POS
1994
Springer
15 years 10 months ago
1994
Springer
Persistent stores support uniform management of data objects regardless of their lifetimes and locations. Such stores typically maintain a self-consistent state even after failure...
180
click to vote
ICCI
1992
15 years 10 months ago
1992
The advent of distributed memory parallel muchines turns feasible the design and implementation of dedicated environments for distributed applications. This puper addresses such a...
184
click to vote
DASFAA
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract. We have defined an XML structural index called the Structure Index Tree (SIT), which eliminates duplicate structures arising from the equivalent subtrees in an XML docume...