493 search results - page 15 / 99 » types 1998 |
MOC
1998
14 years 11 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 ...
ENTCS
1998
14 years 11 months ago
1998
We obtain a new formalism for concurrent object-oriented languages by extending Abadi and Cardelli's imperative object calculus with operators for concurrency from the -calc...
104
click to vote
PPDP
2009
Springer
15 years 6 months ago
2009
Springer
The construction of reliable concurrent and distributed systems is an extremely difficult endeavour. For complex systems, it requires modular development strategies based on prec...
PLDI
1998
ACM
15 years 4 months ago
1998
ACM
This paper evaluates three alias analyses based on programming language types. The first analysis uses type compatibility to determine aliases. The second extends the first by u...
CACM
1998
14 years 11 months ago
1998
rigorous, and abstract— clearly defined and generally agreed—type inheritance model. To quote an article by Taivalsaari: “The basic idea of inheritance is quite simple ... [a...