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.

Contact

Mailing list: opal-users@projects.uebb.tu-berlin.de

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