Towards integrating algebraic specification and functional programming: The Opal system: Extended abstract

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1101, Issue , 1996, Pages 559-562

  Didrich, Klaus ^a   Gerke, Carola ^a   Grieskamp, Wolfgang ^a   Maeder, Christian ^a   Pepper, Peter ^a  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84947922812     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0014341     Document Type: Conference Paper

References (8)

1. F.L. Bauer, M. Broy, B. Möller, P. Pepper, M. Wirsing, et al. The Munich Project CIP. Vol. I: The Wide Spectrum Language CIP-L, volume I of Lecture Notes on Computer Science. Springer Verlag, Berlin, Heidelberg, New York, Berlin, 1985.
2. M. Broy and S. Jälmichen. KORSO, Correct Software by Formal Methods. Springer, 1994.
3. Klaus Didrich, Andreas Fett, Carola Gerke, Wolfgang Grieskamp, and Peter Pepper. OPAL: Design and Implementation of an Algebraic Programming Language. In Jürg Gutknecht, editor, Programming Languages and System Architectures, International Conference, Zurich, Switzerland, March 1994, LNCS 782, pages 228-244. Springer, 1994.
4. P. H. Hartel et al. Benchmarking implementations of functional languages with "pseudoknot," a Float-Intensive benchmark. J. functional programming, to appear, 1996.
5. Thomas Frauenstein, Wolfgang Grieskamp, Peter Pepper, and Mario Südholt. Concurrent functional programming of graphical user interfaces. Technical Report 95-19, TU Berlin, 1996. to appear.
6. Joseph A. Goguen and Timothy Winkler. Introducing OBJ3. Technical Report SRI-CSL-88-9, SRI International, 1988.
7. Wolfram Schulte and Wolfgang Grieskamp. Generating Efficient Portable Code for a Strict Applicative Language. In Phoenix Seminar and Workshop on Declarative Programming. Springer-Verlag, 1992.
8. Douglas R. Smith. KIDS: A semiautomatic program development system. IEEE Transactions on Software, Engineering, 16(9):1024-1043, September 1990.