Last modified 7 years ago Last modified on 09/30/10 11:21:51

The Opal Project

The Opal project is concerned with research into a programming environment in which advanced language concepts and formal development methods can be used for creating production-quality software. At the core of the project is the algebraic programming language, Opal, which integrates both concepts of algebraic specification and functional programming. A comprehensive set of tools supporting the language constitutes the Opal compilation system OCS.


Mailing list:

Snail Mail:

Technische Universität Berlin
Fakultät IV - Elektrotechnik und Informatik
Institut für Softwaretechnik und Theoretische Informatik
Fachgebiet Übersetzerbau und Programmiersprachen
Sekretariat TEL12-2
Ernst-Reuter-Platz 7
D-10587 Berlin