The BETA programming language is a modern language in the SIMULA 67 tradition. It supports the object-oriented perspective on programming and contains comprehensive facilities for procedural and functional programming. BETA replaces classes, procedures, functions and types by a single abstraction mechanism called the pattern. Patterns may be organized in a classification hierarchy by means of sub-patterns. The notion of virtual procedure is generalized to virtual pattern. Virtual patterns combined with sub-patterns make it possible to delay the specification of an attribute in a pattern. Attributes may then have different bindings in different sub-patterns. BETA also provides a unified framework for sequential, coroutine and concurrent exe...
Reusability and tailorability in software development are discussed in general and a set of techniqu...
Abstract This paper suggests virtual types for Java, a language mechanism which subsumes parameteriz...
Beginning with BETA, a range of programming language mechanisms such as virtual classes (class-value...
The report contains a proposal for the definition of the BETA programming language. Description of ...
In the object-oriented perspective a program execution is viewed as a physical model of some real or...
The notions of class, subclass and virtual procedure are fairly well understood and recognized as so...
The notations of class, subclass and virtual procedure are fairly well understood and recognized as...
This paper describes the approach to teaching object-oriented programming at Aarhus University. Thi...
In this paper, we present an overview of our method of specifying the semantics of programming langu...
The main thing with the sub-class mechanism as found in languages like C++, SIMULA and Smalltalk is...
The report describes ongoing work within the Joint Language Project (JLP). Research workers from Aa...
Object-oriented programming languages are excellent for expressing abstractions in many application ...
This paper provides a general discussion of object-oriented computer languages. Deals with design an...
The concept of static exception handling has previously been investigated in a general setting. In ...
The BETA system programming language is being developed as a part of the Joint Language Project goi...
Reusability and tailorability in software development are discussed in general and a set of techniqu...
Abstract This paper suggests virtual types for Java, a language mechanism which subsumes parameteriz...
Beginning with BETA, a range of programming language mechanisms such as virtual classes (class-value...
The report contains a proposal for the definition of the BETA programming language. Description of ...
In the object-oriented perspective a program execution is viewed as a physical model of some real or...
The notions of class, subclass and virtual procedure are fairly well understood and recognized as so...
The notations of class, subclass and virtual procedure are fairly well understood and recognized as...
This paper describes the approach to teaching object-oriented programming at Aarhus University. Thi...
In this paper, we present an overview of our method of specifying the semantics of programming langu...
The main thing with the sub-class mechanism as found in languages like C++, SIMULA and Smalltalk is...
The report describes ongoing work within the Joint Language Project (JLP). Research workers from Aa...
Object-oriented programming languages are excellent for expressing abstractions in many application ...
This paper provides a general discussion of object-oriented computer languages. Deals with design an...
The concept of static exception handling has previously been investigated in a general setting. In ...
The BETA system programming language is being developed as a part of the Joint Language Project goi...
Reusability and tailorability in software development are discussed in general and a set of techniqu...
Abstract This paper suggests virtual types for Java, a language mechanism which subsumes parameteriz...
Beginning with BETA, a range of programming language mechanisms such as virtual classes (class-value...