13734 search results - page 43 / 2747 » Abstractions of data types |
LCPC
1999
Springer
15 years 4 months ago
1999
Springer
DAGSTUHL
1998
15 years 1 months ago
1998
201
click to vote
POPL
2009
ACM
16 years 14 days ago
2009
ACM
Mitchell's notion of representation independence is a particularly useful application of Reynolds' relational parametricity -- two different implementations of an abstra...
119
click to vote
SIGMOD
1993
ACM
15 years 3 months ago
1993
ACM
Abstract: We propose a framework for the specification of extensible database systems. A particular goal is to implement a software component for parsing and rule-based optimizatio...
ISLPED
1995
ACM
15 years 3 months ago
1995
ACM
In this paper we present a novel approach to model the search space for optimal set data types in network component realisations. The main objective is to arrive at power efficie...