Sciweavers

16616 search results - page 190 / 3324
» Extending Extended Vacuity
Sort
View
ECOOP
2000
Springer
15 years 9 months ago
Extending Moby with Inheritance-Based Subtyping
Classes play a dual role in mainstream statically-typed object-oriented languages, serving as both object generators and object types. In such languages, inheritance implies subtyp...
Kathleen Fisher, John H. Reppy
AGP
1999
IEEE
15 years 9 months ago
Extending clp(FD) by Negative Constraint Solving
In this paper we present a novel extension to the constraint logic programming on Finite Domains (clp(FD)) which combines the usual clp(FD) primitive constraint X in range with a ...
Antonio J. Fernández, Patricia M. Hill
163
Voted
ICFP
1999
ACM
15 years 9 months ago
Relating Typability and Expressiveness in Finite-Rank Intersection Type Systems (Extended Abstract)
d Abstract) Assaf J. Kfoury∗ Boston University http://www.cs.bu.edu/˜kfoury Harry G. Mairson† Brandeis University http://www.cs.brandeis.edu/˜mairson Franklyn A. Turbak‡ We...
Assaf J. Kfoury, Harry G. Mairson, Franklyn A. Tur...
153
Voted
EUROMICRO
1999
IEEE
15 years 9 months ago
Extending Correlation in Branch Prediction Schemes
Lucian N. Vintan, Colin Egan