Sciweavers

174 search results - page 12 / 35
» A Typeful Approach to Object-Oriented Programming with Multi...
Sort
View
DPD
2002
114views more  DPD 2002»
13 years 6 months ago
Query Decomposition for a Distributed Object-Oriented Mediator System
The mediator-wrapper approach to integrate data from heterogeneous data sources has usually been centralized in the sense that a single mediator system is placed between a number o...
Vanja Josifovski, Tore Risch

Book
411views
15 years 4 months ago
Concrete Abstractions
"This book has evolved from materials used in an undergraduate course intended for final year undergraduate students whose background includes at least one year's experie...
Max Hailperin, Barbara Kaiser, and Karl Knight
IFM
2009
Springer
107views Formal Methods» more  IFM 2009»
14 years 1 months ago
Incremental Reasoning for Multiple Inheritance
Object-orientation supports code reuse and incremental programming. Multiple inheritance increases the power of code reuse, but complicates the binding of method calls and thereby ...
Johan Dovland, Einar Broch Johnsen, Olaf Owe, Mart...
ICFP
2008
ACM
14 years 6 months ago
Scala for generic programmers
Datatype-generic programming involves parametrization by the shape of data, in the form of type constructors such as `list of'. Most approaches to datatype-generic programmin...
Bruno C. D. S. Oliveira, Jeremy Gibbons
OOPSLA
1989
Springer
13 years 10 months ago
Static Type Inference for Parametric Classes
Method inheritance and data abstraction are central features of objectoriented programming that are attained through a hierarchical organization of classes. Recent studies have sh...
Atsushi Ohori, Peter Buneman