Programming in the large: The algebraic-functional language Opal 2α

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

Volumn 1467, Issue , 1998, Pages 322-337

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

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; MODULAR CONSTRUCTION;

FUNCTIONAL LANGUAGES; HASKELL; MODULARIZATIONS; PARAMETERIZED; PROPERTIES OF FUNCTIONS; TYPE CLASS;

FUNCTIONAL PROGRAMMING;

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

References (19)

1. Manfred Broy and Martin Wirsing. Ultra-loose algebraic specification. Bulletin of the EATCS, 53: 117-128, June 1988.
2. K. Didrich, A. Fett, C. Gerke, W. Grieskamp, and P. Pepper. OPAL: Design and Implementation of an Algebraic Programming Language. In J. Gutknecht, editor, Programming Languages and System Architectures, LNCS 782, pages 228-244. Springer, March 1994.
3. K. Didrich, C. Gerke, W. Grieskamp, C. Maeder, and P. Pepper. Towards Integrating Algebraic Programming and Functional Programming: the Opal System. In M. Wirsing and M. Nivat, editors, Algebraic Methodology and Software Technology, LNCS 1101, pages 559-562. Springer, July 1996.
4. Klaus Didrich. Compiler support for correctness proofs. In Automated Theorem Proving in Software Engineering (CADE-14 workshop), 1997.
5. Hartmut Ehrig and Bernd Mahr. Fundamentals of Algebraic Specification 2: Module Specifications and Constraints, volume 21 of EATCS Monographs on Theoretical Computer Science. Springer, Berlin, 1990.
6. Joseph A. Goguen, Timothy Winkler, José Meseguer, Kokichi Futatsugi, and Jean-Pierre Jouannaud. Introducing OBJ. In Joseph Goguen, editor,Applications of Algebraic Specification using OBJ. Cambridge, October 1993.
7. Fritz Henglein. Type Inference with Polymorphic Recursion. ACM Transactions on Programming Languages and Systems, December 1991.
8. L.C. Paulson. ML for the Working Programmer. Cambridge University Press, 2nd edition, 1996.
9. Peter Pepper. Transforming Algebraic Specifications - Lessons learnt from an Example. In Bernhard Möller, editor, Constructing Programs From Specifications, pages 399-425. North-Holland, 1991.
10. Peter Pepper and Douglas R. Smith. A High-Level Derivation of Global Search Algorithms (with Constraint Propagation). Science of Computer Programming, 28(2-3): 247-271, 1997.
11. Donald T. Sannella and Andrzej Tarlecki. Extended ML: An Institution-Independent Framework for Formal Program Development. In Proc. Workshop on Category Theory and Computer Programming, LNCS 240, pages 364-389. Springer, September 1986.
12. David A. Schmidt. Denotational Semantics. A Methodology for Language Development. W. C. Brown Publishers, 1988.
13. Michael I. Schwartzbach. Polymorphic Type Inference. Lecture Series LS-95-3, BRICS, DAIMI, June 1995.
14. Douglas R. Smith and Eduardo A. Parra. Transformational Approach to Transportation Scheduling. In Proc. 8th Knowledge-Based Software Engineering Conf., Chicago, IL, pages 60-68, 1993.
15. Simon Thompson. Haskell: The Craft of Functional Programming. Addison Wesley, 1996.
16. Dennis M. Volpano and Geoffrey S. Smith. On the Complexity of ML Typability with Overloading. Technical Report TR91-1210, Cornell University, May 1991.
17. Philip Wadler and Stephen Blott. How to make ad-hoc polymorphism less ad hoc. In Principles of Programming Languages, pages 60-76. ACM Press, January 1989.
18. Martin Wirsing. Structured algebraic specifications: a kernel language. Theoretical Computer Science, 42: 123-249, 1986.
19. Martin Wirsing. Algebraic Specification. In J. van Leeuven, editor, Handbook of Theoretical Computer Science, pages 675-788. North-Holland, 1990.