13734 search results - page 43 / 2747 » Abstractions of data types |
LCPC
1999
Springer
14 years 1 months ago
1999
Springer
DAGSTUHL
1998
13 years 10 months ago
1998
POPL
2009
ACM
14 years 9 months ago
2009
ACM
Mitchell's notion of representation independence is a particularly useful application of Reynolds' relational parametricity -- two different implementations of an abstra...
SIGMOD
1993
ACM
14 years 26 days 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
14 years 9 days 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...