In diesem dritten Teil einer Reihe von Arbeitspapieren wird schwerpunktmäßig die algebraische Spezifikation abstrakter Datentypen behandelt. Ausgehend von den Problemen einer Fixierung auf die syntaktischen Aspekte von Datentypen erfolgt eine Abgrenzung verschiedener Interpretationen des...

Für den Objects-first-Ansatz in der Lehre der objektorientierten Programmierung - ohne den Ballast von Klassen - fehlt es bisher an geeigneten Programmiersprachen. Die DOSL (Direct Object Specification Language) erweitert deshalb bisher Smalltalk um die Möglichkeit, Objekte direkt, d.h. ohne...