1072 search results - page 13 / 215 » Object-Oriented Type Inference |
133
click to vote
MKM
2005
Springer
15 years 12 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...
151
click to vote
ICALT
2005
IEEE
16 years 6 hour 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 ...
166
click to vote
ECOOP
2005
Springer
15 years 12 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 ...
167
click to vote
LPNMR
2005
Springer
15 years 12 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 ...
173
click to vote
VLDB
1991
ACM
15 years 10 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...