828 search results - page 15 / 166 » types 2000 |
ECOOP
2000
Springer
13 years 12 months ago
2000
Springer
Abstract. We are interested in the class of systems for which the satisfaction of code dependencies is a dynamic process rather than one which is determined purely at load-time. Ex...
APLAS
2000
ACM
14 years 1 hour ago
2000
ACM
We present a generalized let-polymorphic type inference algorithm, prove that any of its instances is sound and complete with respect to the Hindley/Milner let-polymorphic type sy...
LOBJET
2000
13 years 7 months ago
2000
ABSTRACT. As informal methods do little to help their use for concurrent and distributed programming, one of the most challenging current tasks is to build tools based on formal me...
MOC
1998
13 years 7 months ago
1998
A gaussian type quadrature formula, where the nodes are the zeros of Bessel functions of the first kind of order α ( (α) > −1), was recently proved for entire functions of ...
COMPSAC
2002
IEEE
14 years 18 days ago
2002
IEEE
The motivation behind the idea of product focused process improvement is to make a process improvement program address certain product quality features in an explicit manner. The P...