Sciweavers

TAPOS
1998
88views more  TAPOS 1998»
13 years 11 months ago
Objective ML: An Effective Object-Oriented Extension to ML
Didier Rémy, Jerome Vouillon
TAPOS
1998
49views more  TAPOS 1998»
13 years 11 months ago
Inheritance of Proofs
Martin Hofmann, Wolfgang Naraschewski, Martin Stef...
TAPOS
1998
126views more  TAPOS 1998»
13 years 11 months ago
Design of Class Hierarchies Based on Concept (Galois) Lattices
Building and maintaining the class hierarchy has been recognized as an important but one of the most difficult activities of object-oriented design. Concept (or Galois) lattices a...
Robert Godin, Hafedh Mili, Guy W. Mineau, Rokia Mi...
TAPOS
1998
83views more  TAPOS 1998»
13 years 11 months ago
A Structured Text ADT for Object-Relational Databases
There is a growing need, both for use within corporate intranets and within the rapidly evolving World Wide Web, to develop tools that are able to retrieve relevant textual inform...
L. J. Brown, Mariano P. Consens, Ian J. Davis, Chr...
TAPOS
1998
93views more  TAPOS 1998»
13 years 11 months ago
Object Acquaintance Selection and Binding
Large object-oriented systems have, at least, four characteristics that complicate object communication, i.e the system is distributed and contains large numbers, e.g. thousands, ...
Jan Bosch