Type systems in object-oriented systems are useful tools to ensure correctness, safety, and integration of programs. This thesis studies the matching of recursive interface types for the purpose of software-system integration and type inference for object types to help reduce bulky type information for programs with flexible type systems. We explore the problem of equality and subtyping of recursive types. Potential applications include automatic generation of bridge code for multi-language systems and type-based retrieval of software modules from libraries. We present efficient decision procedures for a notion of type equality that includes unfolding of recursive types, and associativity and commutativity of product types. Advocated by Aue...
So far type information for programs written in untyped object-oriented languages equipped with inhe...
Existing type systems for object calculi [2] are based on invariant subtyping. Subtyping invariance ...
We present a new approach to inferring types in untyped object-oriented programs with inheritance, a...
AbstractWe define a powerful type inference mechanism with application to object-oriented programmin...
AbstractRecord concatenation, multiple inheritance, and multiple-object cloning are closely related ...
We present a type inference system for a language with object-oriented features such as polymorphic ...
. Since record polymorphism is one of essential factors for object-oriented languages, various appro...
Abadi and Cardelli have recently investigated a calculus of objects [2]. The calculus supports a key...
AbstractEquality and subtyping of recursive types were studied in the 1990s by Amadio and Cardelli; ...
We present a new approach to inferring types in untyped object-oriented programs with inheritance, a...
Type systems for object-oriented programming languages have been studied a great deal over the past ...
We show how type inference for object oriented programming languages with state can be performed wit...
AbstractM. Abadi and L. Cardelli have recently investigated a calculus of objects (1994). The calcul...
Existing type systems for object calculi are based on invariant subtyping. Subtyping invariance is r...
AbstractExisting type systems for object calculi are based on invariant subtyping. Subtyping invaria...
So far type information for programs written in untyped object-oriented languages equipped with inhe...
Existing type systems for object calculi [2] are based on invariant subtyping. Subtyping invariance ...
We present a new approach to inferring types in untyped object-oriented programs with inheritance, a...
AbstractWe define a powerful type inference mechanism with application to object-oriented programmin...
AbstractRecord concatenation, multiple inheritance, and multiple-object cloning are closely related ...
We present a type inference system for a language with object-oriented features such as polymorphic ...
. Since record polymorphism is one of essential factors for object-oriented languages, various appro...
Abadi and Cardelli have recently investigated a calculus of objects [2]. The calculus supports a key...
AbstractEquality and subtyping of recursive types were studied in the 1990s by Amadio and Cardelli; ...
We present a new approach to inferring types in untyped object-oriented programs with inheritance, a...
Type systems for object-oriented programming languages have been studied a great deal over the past ...
We show how type inference for object oriented programming languages with state can be performed wit...
AbstractM. Abadi and L. Cardelli have recently investigated a calculus of objects (1994). The calcul...
Existing type systems for object calculi are based on invariant subtyping. Subtyping invariance is r...
AbstractExisting type systems for object calculi are based on invariant subtyping. Subtyping invaria...
So far type information for programs written in untyped object-oriented languages equipped with inhe...
Existing type systems for object calculi [2] are based on invariant subtyping. Subtyping invariance ...
We present a new approach to inferring types in untyped object-oriented programs with inheritance, a...