7049 search results - page 59 / 1410 » Data Abstraction for CSP-OZ |
ASPDAC
2007
ACM
14 years 2 months ago
2007
ACM
Abstract
CTCS
1987
Springer
14 years 2 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...
JGS
2000
13 years 10 months ago
2000
Abstract. The Moran Coe
POPL
2012
ACM
12 years 6 months ago
2012
ACM
nvenient way of pattern-matching against abstract data types. Publications: Dissertation
DBSEC
2003
14 years 4 days 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...