176 search results - page 1 / 36 » A Framework for Extended Algebraic Data Types |
FLOPS
2006
Springer
13 years 8 months ago
2006
Springer
QSIC
2003
IEEE
13 years 10 months ago
2003
IEEE
Algebraic testing is an automated software testing method based on algebraic formal specifications. It tests if a program correctly implements an algebraic specification by checki...
ADBIS
2004
Springer
13 years 10 months ago
2004
Springer
Many geographical applications deal with spatial objects that cannot be adequately described by determinate, crisp concepts because of their intrinsically indeterminate and vague n...
VLDB
1991
ACM
13 years 8 months ago
1991
ACM
We explore the implications of supporting bags (i.e. multisets) in a data model and associated query language, and present some formal results concerned with the algebraic propert...
VLDB
1992
ACM
13 years 9 months ago
1992
ACM
This paper considers the problem of adding list as a type constructor to an object-oriented data model. In particular, we are concerned with how lists in a database can be constru...