1. A
DSP langua
GE. ["OPAL: A High Level Langua
GE and Environment for DSP boards on PC", J.P. Schwartz et al, Proc ICASSP-89, 1989]. 2. The langua
GE of the
object-oriented database GEmStone. ["Making Smalltalk a Database System", G. Copeland et al, Proc SIGMOD' 84, ACM 1984, pp.316- 325]. 3. A
simulation langua
GE with provision for {stochastic variable}s. An extension of {Autostat}. ["C-E-I-R OPAL", D. Pilling, Internal Report, C.E.I.R. Ltd. (1963)]. 4. A langua
GE for compiler testing said to be used internally by
DEC. 5. A
functional programming langua
GE designed at the
Technische Universitaet Berlin as a testbed for the development of
functional programs. OPAL integrates concepts from Al
GEbraic Specification and Functional Programming, which favour the (formal) development of (lar
GE) production-quality software written in a
purely functional style. The core of OPAL is a
strongly typed,
higher-order,
strict applicative langua
GE which belongs to the tradition of
Hope and
ML. The al
GEbraic flavour of OPAL is visible in the syntactical appearance and in the preference of
parameterisation to
polymorphism. OPAL supports:
information hiding - each langua
GE unit is divided into an interface (signature) and an implementation part selective import
parameterised modules free constructor
views on
sorts, which allow pattern-based function definitions despite quite different implementations full
overloading of names puristic scheme langua
GE with no
built-in data types (except
Booleans and denotations). OPAL and its predecessor OPAL-0 have been used for some time at the Technische Universitaet Berlin in CS courses and for research into optimising compilers for applicative langua
GEs. The OPAL compiler itself is writte entirely in OPAL. An overview is given in "OPAL: Design And Implementation of an Al
GEbraic Programming Langua
GE".
Start .
. (1995-02-16)
In addition suitable contents:
[ 2 ] [ = ] [ ACM ] [ ad ] [ ae ] [ ag ] [ ai ] [ AL ] [ al ] [ alGEbra ] [ alGEbraic ] [ am ] [ an ] [ app ] [ applicative languaGE ] [ ar ] [ arc ] [ arg ] [ AS ] [ as ] [ at ] [ Autostat ] [ av ] [ B ] [ b ] [ ba ] [ base ] [ bb ] [ be ] [ bj ] [ bo ] [ boa ] [ board ] [ Boolean ] [ br ] [ built-in ] [ by ] [ C ] [ CA ] [ ca ] [ CAS ] [ cat ] [ ch ] [ ci ] [ CM ] [ co ] [ com ] [ compiler ] [ con ] [ cons ] [ constructor ] [ core ] [ D ] [ data ] [ database ] [ data type ] [ de ] [ DEC ] [ dec ] [ design ] [ development ] [ diff ] [ ding ] [ DSP ] [ du ] [ E ] [ ec ] [ ed ] [ ee ] [ eg ] [ er ] [ es ] [ et ] [ extension ] [ fi ] [ file ] [ flavour ] [ fo ] [ for ] [ fr ] [ free ] [ Fun ] [ function ] [ functional ] [ functional program ] [ functional programming ] [ G ] [ GE ] [ gh ] [ gi ] [ gl ] [ gn ] [ gr ] [ gs ] [ gu ] [ gz ] [ h ] [ hn ] [ Hope ] [ hr ] [ ht ] [ IC ] [ id ] [ ie ] [ iff ] [ il ] [ import ] [ in ] [ int ] [ interface ] [ io ] [ ir ] [ iron ] [ is ] [ it ] [ J ] [ ki ] [ la ] [ languaGE ] [ Lex ] [ li ] [ lk ] [ load ] [ lt ] [ ly ] [ M ] [ ma ] [ mall ] [ meter ] [ ML ] [ mm ] [ mo ] [ mod ] [ module ] [ mp ] [ mu ] [ na ] [ nature ] [ nc ] [ ne ] [ nf ] [ ng ] [ ni ] [ no ] [ ns ] [ O ] [ object ] [ object-oriented ] [ object-oriented database ] [ om ] [ op ] [ optimising compiler ] [ overloading ] [ pa ] [ PAL ] [ param ] [ parameter ] [ PC ] [ pe ] [ ph ] [ pl ] [ pm ] [ polymorphism ] [ port ] [ pr ] [ predecessor ] [ product ] [ program ] [ programming ] [ pt ] [ quality ] [ query ] [ rc ] [ re ] [ reference ] [ rl ] [ ro ] [ ru ] [ S ] [ sa ] [ sc ] [ se ] [ SI ] [ si ] [ SIG ] [ sig ] [ signature ] [ simulation ] [ sit ] [ sm ] [ Smalltalk ] [ so ] [ software ] [ sort ] [ SP ] [ Spec ] [ st ] [ stochastic ] [ strict ] [ strongly typed ] [ struct ] [ su ] [ support ] [ sy ] [ T ] [ talk ] [ tar ] [ td ] [ test ] [ testing ] [ th ] [ to ] [ tone ] [ tp ] [ tr ] [ tron ] [ tt ] [ tw ] [ type ] [ tz ] [ ua ] [ up ] [ us ] [ va ] [ var ] [ variable ] [ ve ] [ vi ] [ wart ] [ ws ] [ ~ ]