Path: news.daimi.aau.dk!jlk
From: jlk@daimi.aau.dk (J|rgen Lindskov Knudsen)
Newsgroups: comp.lang.beta,comp.object
Subject: OOPSLA Tutorial: Programming in BETA
Date: 10 Oct 1994 15:29:03 GMT
Organization: DAIMI, Computer Science Dept. at Aarhus University
Lines: 59
Message-ID: <37bmjv$fq1@belfort.daimi.aau.dk>
Reply-To: jlknudsen@daimi.aau.dk (Jorgen Lindskov Knudsen)
NNTP-Posting-Host: lithium.daimi.aau.dk
Xref: news.daimi.aau.dk comp.lang.beta:120 comp.object:19993

At OOPSLA'94, Portland, Ole Lehrmann Madsen, one of the co-designers
of the BETA programming language, will be giving a tutorial on the
language.

We hope to see you in Portland.


========================================================================

Tutorial #15: Programming in BETA

Ole Lehrmann Madsen, Aarhus University, Denmark

Sunday, October 23, Afternoon

The objectives of the tutorial are:

* To present the conceptual framework underlying the "Scandinavian" 
  approach to object-oriented programming and show how to use this 
  framework for design and programming.

* To give a detailed description of the BETA programming language. BETA 
  is a modern language intended for design as well as implementation. 
  BETA unifies class, procedure, function, process, generic class, 
  etc., into one concept: the pattern. This results in a few, 
  orthogonal, powerful features not found in other languages: 
  inheritance is also possible for procedures and processes; classes 
  and procedures may be arbitrarily nested; the virtual concept is also 
  defined for classes, and is the BETA alternative to generic classes;
  and classes and procedures are first-class values that may be passed 
  around as values with full type checking. BETA Also supports 
  concurrency and co-routines in the form of active objects.

* To compare BETA with other object-oriented languages. BETA does not 
  have multiple inheritance, but some of the functionality of multiple 
  inheritance may be supported by part objects and nested classes. Most 
  type checking in BETA is carried out at compile-time, but run-time 
  type checking is done for so-called "reverse assignments". BETA 
  supports covariance of arguments and in this situation run-time type 
  checking is also done.

* To give a short overview of the Mjolner BETA programming 
  environment.

Ole Lehrmann Madsen has worked with object-oriented programming since 
early 1970 starting with Simula. He has participated in the design of 
BETA and he was the project leader of the Danish part of the Nordic 
Mjolner project where the Mjolner BETA System was implemented. He is 
one of the co-founders of Mjolner Informatics, which is a company 
devoted to marketing and further development of the Mjolner BETA 
System.

========================================================================

--

   Jorgen Lindskov Knudsen, Computer Science Department, Aarhus University
   Ny Munkegade 116, DK-8000 Aarhus C, DENMARK
   E-mail: jlknudsen@daimi.aau.dk, Phone: +45 89 42 32 33, Fax: +45 89 42 32 55