H ?
«
‹
←
→
›
»
Language peer sets for OPAL: Germany↑ Germany/1993↑ Designed 1993 ↑ 1990s languages ↑ Fifth generation↑ Post-Cold War↑ Genus Goguen algebra ↑ Specialised Languages ↑ Goguen algebra↑ Theoretical incl category based↑ Generic ↑ Goguen algebra/1993↑ Theoretical incl category based/1993↑ Generic/1993↑ Goguen algebra/Germany↑ Theoretical incl category based/Germany↑ Generic/Germany↑ Specialised Languages ↑ Specialised Languages/1993↑ Specialised Languages/de ↑ OPAL(ID:2312/opa003)Algebraic functional languagealternate simple viewCountry: Germany Designed 1993 Published: 1994 Genus: Goguen algebra Sammet category: Specialised Languages Technical University of Berlin. Algebraic programming language which integrates both concepts of algebraic specification and functional programming. Strongly-typed, higher-order, strict applicative language, with algebraic specification. Uses parameterized structures rather than polymorphism. Opal is a strongly typed, higher-order, strict, pure functional language, and as such can be classified alongside ML, Haskell, and other modern functional programming languages. However, the language also has a distinctive algebraic flavour in the tradition of languages such as CIP-L, Obj, and others. The language includes what we consider to be mandatory for research and teaching on:
The following characteristics give an overview of the language design:
Opal-1 and its predecessor Opal-0 have been used for some time at the Technical University of Berlin in basic and advanced computer science courses, as well as in several research projects. Opal has been used to implement its own compiler. Structures: Related languages
References: in [Proceedings] (1994) Proceedings of the international conference on Programming languages and system architectures, April 1994, Zurich, Switzerland in [Proceedings] (1994) Proceedings of the international conference on Programming languages and system architectures, April 1994, Zurich, Switzerland Resources Search in: Google Google scholar World Cat Yahoo Overture DBLP Monash bib NZ IEEE  ACM portal CiteSeer CSB ncstrl jstor Bookfinder |