Add to ORKGOberon-2 is an object-oriented language with a class structure based on type extension. The runtime structure of Oberon-2 is described and the low-level mechanisms for dynamic type check-ing explained. It is shown that the superior type-safety of the language, when used for programming styles based on heterogeneous, pointer-linked data structures, has an entirely negligible cost in runtime performance
We present a new approach to inferring types in untyped object-oriented programs with inheritance, a...
This paper presents the formal specification of the programming language Oberon. Using Montages we g...
Object-oriented languages have suffe=d from poor perfor-mance caused by frequent and slow dynamicall...
Oberon-2 is an object-oriented language with a class structure based on type extension. The runtime ...
. Programs written in languages of the Oberon family usually contain runtime tests on the dynamic ty...
The design of the programming language Oberon was led by the quote by Albert Einstein: \u27make it a...
The purpose of this paper is to give a formal semantics for a language which includes type extension...
The purpose of this paper is to give a formal semantics for a language which includes type extension...
This paper is concerned with the relation between subtyping and subclassing and their influence on p...
Active Oberon is a substantial evolution of the programming language Oberon. It distinguishes itself...
Starting with a pragmatical (but formal) definition of type in object-oriented languages, this paper...
Type systems for object-oriented programming languages have been studied a great deal over the past ...
We present the implementation of a type inference algorithm for untyped object-oriented programs wi...
Object-oriented programming techniques allow the construction of reusable and extensible code. Howev...
Abstract. Object-oriented languages have suffered from poor performance caused by frequent and slow ...
We present a new approach to inferring types in untyped object-oriented programs with inheritance, a...
This paper presents the formal specification of the programming language Oberon. Using Montages we g...
Object-oriented languages have suffe=d from poor perfor-mance caused by frequent and slow dynamicall...
Oberon-2 is an object-oriented language with a class structure based on type extension. The runtime ...
. Programs written in languages of the Oberon family usually contain runtime tests on the dynamic ty...
The design of the programming language Oberon was led by the quote by Albert Einstein: \u27make it a...
The purpose of this paper is to give a formal semantics for a language which includes type extension...
The purpose of this paper is to give a formal semantics for a language which includes type extension...
This paper is concerned with the relation between subtyping and subclassing and their influence on p...
Active Oberon is a substantial evolution of the programming language Oberon. It distinguishes itself...
Starting with a pragmatical (but formal) definition of type in object-oriented languages, this paper...
Type systems for object-oriented programming languages have been studied a great deal over the past ...
We present the implementation of a type inference algorithm for untyped object-oriented programs wi...
Object-oriented programming techniques allow the construction of reusable and extensible code. Howev...
Abstract. Object-oriented languages have suffered from poor performance caused by frequent and slow ...
We present a new approach to inferring types in untyped object-oriented programs with inheritance, a...
This paper presents the formal specification of the programming language Oberon. Using Montages we g...
Object-oriented languages have suffe=d from poor perfor-mance caused by frequent and slow dynamicall...