Add to ORKGObject oriented type theory was used to study the syntactic and semantic type compatibility. In syntactic compatibility the components provides all the expected operations. In semantic compatibility the component's operations behave in the expected way. Various examples of failure due to type-related software design faults were discussed
Software engineering has not reached maturity level as classic engineering. Theoretical foundation f...
Starting with a pragmatical (but formal) definition of type in object-oriented languages, this paper...
A first-order type system has two things to commend it. Firstly, it is quite simple to implement a t...
This is the fifth article in a regular series on object-oriented type theory, aimed specifically at ...
The theory of subtyping which judges object type compatibility from both the syntactic point of view...
This is the sixth article in a regular series on object-oriented type theory, aimed specifically at ...
This is the eleventh article in a regular series on object-oriented type theory, aimed specifically ...
This is the seventh article in a regular series on object-oriented type theory, aimed specifically a...
In object-oriented programming, the inheritance is one of the factors which induce semantic complexi...
The notion of type has played a double role in database systems in that it has been used both to des...
In object-oriented conceptual modeling, the generalization/specialization hierarchy and the whole/pa...
Theoretical thesis.Bibliography: pages 59-60.1. Introduction -- 2. Background -- 3. Type systems -- ...
We give a direct type-theoretic characterization of the basic mechanisms of object-oriented programm...
The behavior of languages such as C++, Java, Smalltalk and Eiffel and the modeling features such cla...
não disponívelIn this work the ideas of object-oriented programming are analyzed from different poin...
Software engineering has not reached maturity level as classic engineering. Theoretical foundation f...
Starting with a pragmatical (but formal) definition of type in object-oriented languages, this paper...
A first-order type system has two things to commend it. Firstly, it is quite simple to implement a t...
This is the fifth article in a regular series on object-oriented type theory, aimed specifically at ...
The theory of subtyping which judges object type compatibility from both the syntactic point of view...
This is the sixth article in a regular series on object-oriented type theory, aimed specifically at ...
This is the eleventh article in a regular series on object-oriented type theory, aimed specifically ...
This is the seventh article in a regular series on object-oriented type theory, aimed specifically a...
In object-oriented programming, the inheritance is one of the factors which induce semantic complexi...
The notion of type has played a double role in database systems in that it has been used both to des...
In object-oriented conceptual modeling, the generalization/specialization hierarchy and the whole/pa...
Theoretical thesis.Bibliography: pages 59-60.1. Introduction -- 2. Background -- 3. Type systems -- ...
We give a direct type-theoretic characterization of the basic mechanisms of object-oriented programm...
The behavior of languages such as C++, Java, Smalltalk and Eiffel and the modeling features such cla...
não disponívelIn this work the ideas of object-oriented programming are analyzed from different poin...
Software engineering has not reached maturity level as classic engineering. Theoretical foundation f...
Starting with a pragmatical (but formal) definition of type in object-oriented languages, this paper...
A first-order type system has two things to commend it. Firstly, it is quite simple to implement a t...