Sciweavers

16616 search results - page 190 / 3324
» Extending Extended Vacuity
Sort
View
ECOOP
2000
Springer
15 years 11 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
ECOOPWEXCEPTION
2000
Springer
15 years 11 months ago
Adapting C++ Exception Handling to an Extended COM Exception Model
Bjørn Egil Hansen, Henrik Fredholm
AGP
1999
IEEE
15 years 11 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
ICFP
1999
ACM
15 years 11 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...