ASL2

This is the home page of the ASL2 experimental programming language, which we have developed as part of our P2025 research project in the Computer Science Department at Aalborg University.

Stated briefly, we want to explore a variant of object-oriented programming where the most concrete artifacts (objects) are created first. ASL2 objects are created to solve a specific problem. Progressively, more and more abstract items can be produced: weakly classified objects, strongly classified objects, classes, superclasses, etc.

ASL2 is embedded in the R5RS Scheme programming language.

The paper Object-oriented Programming with Gradual Abstraction tells the full story.

An earlier paper Computational Abstraction Steps gives the background of our work.

ASL2 resources:

• ASL2 Documentation - API style, ASL version 2.1.
• ASL2 experimental download - the necessary Scheme stuff to run ASL2 programs. See the README file in the zip file.
• ASL2 demo videos, ASL 2.0 - on YouTube. The video brings you through a series of examples. Please watch in the given order:
  1. Non-classified ASL2 objects
  2. Weakly classified ASL2 objects
  3. Strongly classified ASL2 objects
  4. ASL2 Class generalization
  5. Syntactic ASL2 class forms

Kurt Nørmark -
in cooperation with Bent Thomsen and Lone Leth Thomsen