2233 search results - page 153 / 447 » Modular type classes |
136
click to vote
DBPL
2009
Springer
15 years 11 months ago
2009
Springer
In this paper, we revisit the view based security framework for XML without imposing any of the previously considered restrictions on the class of queries, the class of DTDs, and t...
120
click to vote
ECOOP
2007
Springer
15 years 11 months ago
2007
Springer
Data in object-oriented programming is organized in a hierarchy of classes. The problem of object-oriented pattern matching is how to explore this hierarchy from the outside. This ...
125
click to vote
ICALP
2004
Springer
15 years 10 months ago
2004
Springer
Abstract We present an analog and machine-independent algebraic characterization of elementarily computable functions over the real numbers in the sense of recursive analysis: we p...
147
Voted
CATS
2006
15 years 6 months ago
2006
The busy beaver is an example of a function which is not computable. It is based on a particular class of Turing machines, and is defined as the largest number of 1's that ca...
152
click to vote
DBPL
1993
Springer
15 years 9 months ago
1993
Springer
A class of database programs exist which are required to operate over an infinite number of types; included in this class are object browsers and query tools. The types over which...