1712 search results - page 148 / 343 » Abstract Constraint Data Types |
131
click to vote
AGP
1995
IEEE
15 years 6 months ago
1995
IEEE
The main difficulty in the formalization of a static analysis framework for CC programs is probably related to the correct approximation of the entailment relation between constrai...
181
click to vote
OOPSLA
1995
Springer
15 years 6 months ago
1995
Springer
All object-oriented languages provide support for subtype polymorphism, which allows the writing of generic code that works for families of related types. There is also a need, ho...
130
click to vote
GEOS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Often the information present in a spatial knowledge base is represented at a different level of granularity and abstraction than the query constraints. For querying onto...
127
click to vote
BTW
2005
Springer
15 years 8 months ago
2005
Springer
More than two decades ago, DB researchers faced up to the question of how to design a data-independent database management system (DBMS), that is, a DBMS which offers an appropriat...
123
click to vote
ICFP
2010
ACM
15 years 4 months ago
2010
ACM
We present a novel approach to regular, multi-dimensional arrays in Haskell. The main highlights of our approach are that it (1) is purely functional, (2) supports reuse through s...