7049 search results - page 59 / 1410 » Data Abstraction for CSP-OZ |
99
Voted
ASPDAC
2007
ACM
15 years 4 months ago
2007
ACM
Abstract
110
Voted
CTCS
1987
Springer
15 years 4 months ago
1987
Springer
of this paper is to prevent the abstract data type researcher from an improper, naive use of category theory. We mainly emphasize some unpleasant properties of the synthesis funct...
73
Voted
JGS
2000
15 years 13 days ago
2000
Abstract. The Moran Coe
67
Voted
POPL
2012
ACM
13 years 8 months ago
2012
ACM
nvenient way of pattern-matching against abstract data types. Publications: Dissertation
DBSEC
2003
15 years 2 months ago
2003
Abstract Data integrity can be problematic when integrating and organizing information from many sources. In this paper we describe efficient mechanisms that enable a group of data...