417 search results - page 30 / 84 » The Start of an Eiffel Standard |
ISCAS
1999
IEEE
13 years 12 months ago
1999
IEEE
Transfer function models for the descriptionof physical systems have recently been introduced to the field of multidimensional digital signal processing. They provide an alternati...
COSIT
1999
Springer
13 years 12 months ago
1999
Springer
Where some have attempted to apply cognitive methods to the study of geography, the present paper is designed to serve as a starting point for applying methods of geographic ontolo...
FLOPS
1999
Springer
13 years 12 months ago
1999
Springer
Abstract. Subtyping tends to undermine the effects of parametric polymorphism as far as the static detection of type errors is concerned. Starting with this observation we present...
SAS
1997
Springer
13 years 11 months ago
1997
Springer
We present a type-based flow analysis for simply typed lambda calculus with booleans, data-structures and recursion. The analysis is exact in the following sense: if the analysis ...
ICLP
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. Bottom-up evaluation is a central part of query evaluation / program execution in deductive databases. It is used after a source code optimization like magic sets or SLDm...