1072 search results - page 13 / 215 » Object-Oriented Type Inference |
65
Voted
MKM
2005
Springer
15 years 3 months ago
2005
Springer
ion with nouns and adjectives Syntax and type system Future works and conclusion Toward an Object-Oriented Structure for Mathematical Text Fairouz Kamareddine, Manuel Maarek and Jo...
ICALT
2005
IEEE
15 years 3 months ago
2005
IEEE
Software development is knowledge-intensive as well as collaborative work carried out by several persons. In this type of education, project-based exercises are conducted in order ...
ECOOP
2005
Springer
15 years 3 months ago
2005
Springer
In this paper we investigate the addition of first-class relationships to a prototypical object-oriented programming language (a “middleweight” fragment of Java). We provide ...
LPNMR
2005
Springer
15 years 3 months ago
2005
Springer
The paper presents DLV+ a Disjunctive Logic Programming system with object-oriented constructs, including classes, objects, (multiple) inheritance, and types. DLV+ is built on top ...
VLDB
1991
ACM
15 years 1 months ago
1991
ACM
Domain mismatch and schema mismatch are two of the important semantic integration problems for interoperating heterogeneous databases. This paper structures the domain mismatch pr...