Conference System Presentations

Algebraic Methodology and Software Technology

Volume 1101 of the series Lecture Notes in Computer Science pp 559-562

Date:

Towards integrating algebraic specification and functional programming: the Opal system

Extended abstract
  • Klaus DidrichAffiliated withFachbereich Informatik, Institut für Kommunikations- und Softwaretechnik, Technische Universität Berlin
  • , Carola GerkeAffiliated withFachbereich Informatik, Institut für Kommunikations- und Softwaretechnik, Technische Universität Berlin
  • , Wolfgang GrieskampAffiliated withFachbereich Informatik, Institut für Kommunikations- und Softwaretechnik, Technische Universität Berlin
  • , Christian MaederAffiliated withFachbereich Informatik, Institut für Kommunikations- und Softwaretechnik, Technische Universität Berlin
  • , Peter PepperAffiliated withFachbereich Informatik, Institut für Kommunikations- und Softwaretechnik, Technische Universität Berlin

* Final gross prices may vary according to local VAT.

Get Access

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 well suited for producing “real-life” software. This result coincides with the findings of other research teams working in this area. The integration of algebraic specification constructs into a functional language as it is done in the Opal system helps in closing the gap between the two worlds of formal specification and efficient implementation. We feel confident that the functional paradigm, supported by formal methods, will eventually provide a basis for industrial software development.