Skip to content

Papers

Jump to bottom
Christoph Höger edited this page Apr 18, 2016 · 5 revisions

Opal Related Publications

The following list compiles just the most important papers on Opal. You are invited to visit the archive of papers which have been published by our group.

General Information About Opal

  • Peter Pepper:

    Funktionale Programmierung in OPAL, ML, HASKELL und GOFER Springer-Lehrbuch, 1998

  • Klaus Didrich, Andreas Fett, Carola Gerke, Wolfgang Grieskamp, and Peter Pepper:

    OPAL: Design and Implementation of an Algebraic Programming Language in Jürg Gutknecht, Programming Languages and System Architectures International Conference Zurich Switzerland March 1994, pages 228-244 ps.gz

  • J. Exner:

    The OPAL Tutorial Technical Report 94-9, TU Berlin May 1994 raw-attachment:tutorial.pdf pdf

  • P. Pepper:

    The Programming Language OPAL Technical Report 91-10, TU Berlin June 1991 (5th corrected edition, November 1997) raw-attachment:ReportOpal.ps.gz ps.gz

  • Klaus Didrich, Jürgen Exner, Carola Gerke, Wolfgang Grieskamp, Christian Maeder, Peter Pepper, and Mario Südholt:

    Towards a Redesign of OPAL Technical Report 96-3, TU Berlin February 1997 raw-attachment:TR96-3.ps.gz ps.gz

  • Klaus Didrich, Wolfgang Grieskamp, Christian Maeder, and Peter Pepper:

    Programming in the Large: the Algebraic-Functional Language OPAL 2alpha in Proceedings of the 9th International Workshop on Implementation of Functional Languages, St Andrews, Scotland, September 1997 (IFL'97), pages 323-338 raw-attachment:opal2.ps.gz ps.gz

Special Aspects

  • Thomas Frauenstein, Wolfgang Grieskamp, Peter Pepper, and Mario Südholt:

    Communicating Functional Agents and their Application to Graphical User Interfaces in Proceedings of the 2nd International Conference on Perspectives of System Informatics Novosibirsk Jun 1996 raw-attachment:PSI96-EA.ps.gz ps.gz

  • Klaus Didrich and Torsten Klein:

    DOSFOP: A Pragmatic Approach to Software Documentation Technical Report 96-4, TU Berlin June 1996 raw-attachment:TR96-4.ps.gz ps.gz

  • Thomas Frauenstein, Wolfgang Grieskamp, and Mario Südholt:

    Temporal Semantics of a Concurrency Monad with Choice and Services in Proceedings of the 2nd FUJI International Workshop on Functional and Logic Programming Nov 1996 raw-attachment:FUJI96.ps.gz ps.gz

  • Gottfried Egger, Andreas Fett, and Peter Pepper:

    Formal Specification of a Safe PLC Language and its Compiler in Victor Maggioli, SAFECOMP94 Proceedings of the 13th International Conference on Computer Safety Reliability and Security Anaheim Kalifornien USA, pages 11--20 October 1994 raw-attachment:safecomp94.ps.gz ps.gz

  • Klaus Didrich: Compiler Support for Specification and Justification -- Description of a Case Study Technical Report 99-18, TU Berlin November 1999 raw-attachment:tr99-18.ps ps

Clone this wiki locally