• Publications
  • Influence
OPAL: Design and Implementation of an Algebraic Programming Language
The algebraic programming language OPAL has been designed as a testbed for experiments with the specification and development of functional programs. The language shall in particular foster theExpand
  • 63
  • 4
Korso Reference Languages - Concepts and Application Domains
This paper gives an overview of the three Korso reference languages Specturm, Trolllight, and Special, exposing their motivation and background, language concepts, and typical application domains.Expand
  • 5
Algebreic Programming in Opal
  • 4
Towards Integrating Algebraic Specification and Functional Programming: the Opal System (Extended Abstract)
The Opal system has been used in teaching and research activities. The experience that we have gained from working on and with the Opal system indicates that, functional programming is indeed wellExpand
  • 2