1. A ef="module.php?name=Lexikon&file=search&eid=1&query=DSP">DSP language. ["OPAL: A High Level Language and environment for DSP boards on PC", J.P. Schwartz et al, Proc ICASSP-89, 1989]. 2. The language of the ef="module.php?name=Lexikon&file=search&eid=1&query=object-oriented database">object-oriented database ef="module.php?name=Lexikon&file=search&eid=1&query=GemStone">GemStone. ["Making Smalltalk a Database System", G. Copeland et al, Proc SIGMOD' 84, ACM 1984, pp.316- 325]. 3. A ef="module.php?name=Lexikon&file=search&eid=1&query=simulation">simulation language 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 language for compiler testing said to be used internally by ef="module.php?name=Lexikon&file=search&eid=1&query=DeC">DeC. 5. A ef="module.php?name=Lexikon&file=search&eid=1&query=functional programming">functional programming language designed at the ef="module.php?name=Lexikon&file=search&eid=1&query=Technische Universitaet Berlin">Technische Universitaet Berlin as a testbed for the development of ef="module.php?name=Lexikon&file=search&eid=1&query=functional program">functional programs. OPAL integrates concepts from Algebraic Specification and Functional Programming, which favour the (formal) development of (large) production-quality software written in a ef="module.php?name=Lexikon&file=search&eid=1&query=purely functional">purely functional style. The core of OPAL is a ef="module.php?name=Lexikon&file=search&eid=1&query=strongly typed">strongly typed, ef="module.php?name=Lexikon&file=search&eid=1&query=higher-order">higher-order, ef="module.php?name=Lexikon&file=search&eid=1&query=strict">strict applicative language which belongs to the tradition of ef="module.php?name=Lexikon&file=search&eid=1&query=Hope">Hope and ef="module.php?name=Lexikon&file=search&eid=1&query=ML">ML. The algebraic flavour of OPAL is visible in the syntactical appearance and in the preference of ef="module.php?name=Lexikon&file=search&eid=1&query=parameterisation">parameterisation to ef="module.php?name=Lexikon&file=search&eid=1&query=polymorphism">polymorphism. OPAL supports: ef="module.php?name=Lexikon&file=search&eid=1&query=information hiding">information hiding - each language unit is divided into an interface (signature) and an implementation part selective import ef="module.php?name=Lexikon&file=search&eid=1&query=parameterised module">parameterised modules free constructor ef="module.php?name=Lexikon&file=search&eid=1&query=views">views on ef="module.php?name=Lexikon&file=search&eid=1&query=sorts">sorts, which allow pattern-based function definitions despite quite different implementations full ef="module.php?name=Lexikon&file=search&eid=1&query=overloading">overloading of names puristic scheme language with no ef="module.php?name=Lexikon&file=search&eid=1&query=built-in">built-in data types (except ef="module.php?name=Lexikon&file=search&eid=1&query=Boolean">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 languages. The OPAL compiler itself is writte entirely in OPAL. An overview is given in "OPAL: Design And Implementation of an Algebraic Programming Language". ef="http://www.cs.tu-berlin.de/~opal/">Start . ef="ftp://ftp.cs.tu-berlin.de/pub/local/uebb/papers/DesignImplOpal.ps.gz">. (1995-02-16)

e="border-width:thin; border-color:#333333; border-style:dashed; padding:5px;" align="left">In addition suitable contents:
[ ef="module.php?name=Lexikon&op=content&tid=31">2 ] [ ef="module.php?name=Lexikon&op=content&tid=134">= ] [ ef="module.php?name=Lexikon&op=content&tid=220">ACM ] [ ef="module.php?name=Lexikon&op=content&tid=262">ad ] [ ef="module.php?name=Lexikon&op=content&tid=374">ae ] [ ef="module.php?name=Lexikon&op=content&tid=396">ag ] [ ef="module.php?name=Lexikon&op=content&tid=411">ai ] [ ef="module.php?name=Lexikon&op=content&tid=432">AL ] [ ef="module.php?name=Lexikon&op=content&tid=433">al ] [ ef="module.php?name=Lexikon&op=content&tid=464">algebra ] [ ef="module.php?name=Lexikon&op=content&tid=466">algebraic ] [ ef="module.php?name=Lexikon&op=content&tid=544">am ] [ ef="module.php?name=Lexikon&op=content&tid=592">an ] [ ef="module.php?name=Lexikon&op=content&tid=683">app ] [ ef="module.php?name=Lexikon&op=content&tid=727">applicative language ] [ ef="module.php?name=Lexikon&op=content&tid=740">ar ] [ ef="module.php?name=Lexikon&op=content&tid=743">arc ] [ ef="module.php?name=Lexikon&op=content&tid=759">arg ] [ ef="module.php?name=Lexikon&op=content&tid=799">AS ] [ ef="module.php?name=Lexikon&op=content&tid=800">as ] [ ef="module.php?name=Lexikon&op=content&tid=894">at ] [ ef="module.php?name=Lexikon&op=content&tid=992">Autostat ] [ ef="module.php?name=Lexikon&op=content&tid=996">av ] [ ef="module.php?name=Lexikon&op=content&tid=1025">B ] [ ef="module.php?name=Lexikon&op=content&tid=1026">b ] [ ef="module.php?name=Lexikon&op=content&tid=1034">ba ] [ ef="module.php?name=Lexikon&op=content&tid=1120">base ] [ ef="module.php?name=Lexikon&op=content&tid=1159">bb ] [ ef="module.php?name=Lexikon&op=content&tid=1181">be ] [ ef="module.php?name=Lexikon&op=content&tid=1368">bj ] [ ef="module.php?name=Lexikon&op=content&tid=1444">bo ] [ ef="module.php?name=Lexikon&op=content&tid=1446">boa ] [ ef="module.php?name=Lexikon&op=content&tid=1447">board ] [ ef="module.php?name=Lexikon&op=content&tid=1480">Boolean ] [ ef="module.php?name=Lexikon&op=content&tid=1535">br ] [ ef="module.php?name=Lexikon&op=content&tid=1652">built-in ] [ ef="module.php?name=Lexikon&op=content&tid=1695">by ] [ ef="module.php?name=Lexikon&op=content&tid=1708">C ] [ ef="module.php?name=Lexikon&op=content&tid=1723">CA ] [ ef="module.php?name=Lexikon&op=content&tid=1724">ca ] [ ef="module.php?name=Lexikon&op=content&tid=1839">CAS ] [ ef="module.php?name=Lexikon&op=content&tid=1863">cat ] [ ef="module.php?name=Lexikon&op=content&tid=2001">ch ] [ ef="module.php?name=Lexikon&op=content&tid=2099">ci ] [ ef="module.php?name=Lexikon&op=content&tid=2220">CM ] [ ef="module.php?name=Lexikon&op=content&tid=2247">co ] [ ef="module.php?name=Lexikon&op=content&tid=2330">com ] [ ef="module.php?name=Lexikon&op=content&tid=2429">compiler ] [ ef="module.php?name=Lexikon&op=content&tid=2545">con ] [ ef="module.php?name=Lexikon&op=content&tid=2606">cons ] [ ef="module.php?name=Lexikon&op=content&tid=2630">constructor ] [ ef="module.php?name=Lexikon&op=content&tid=2725">core ] [ ef="module.php?name=Lexikon&op=content&tid=2976">D ] [ ef="module.php?name=Lexikon&op=content&tid=3006">data ] [ ef="module.php?name=Lexikon&op=content&tid=3010">database ] [ ef="module.php?name=Lexikon&op=content&tid=3091">data type ] [ ef="module.php?name=Lexikon&op=content&tid=3151">de ] [ ef="module.php?name=Lexikon&op=content&tid=3176">DeC ] [ ef="module.php?name=Lexikon&op=content&tid=3177">dec ] [ ef="module.php?name=Lexikon&op=content&tid=3304">design ] [ ef="module.php?name=Lexikon&op=content&tid=3324">development ] [ ef="module.php?name=Lexikon&op=content&tid=3371">diff ] [ ef="module.php?name=Lexikon&op=content&tid=3436">ding ] [ ef="module.php?name=Lexikon&op=content&tid=3725">DSP ] [ ef="module.php?name=Lexikon&op=content&tid=3752">du ] [ ef="module.php?name=Lexikon&op=content&tid=3834">e ] [ ef="module.php?name=Lexikon&op=content&tid=3865">ec ] [ ef="module.php?name=Lexikon&op=content&tid=3896">ed ] [ ef="module.php?name=Lexikon&op=content&tid=3929">ee ] [ ef="module.php?name=Lexikon&op=content&tid=3946">eg ] [ ef="module.php?name=Lexikon&op=content&tid=4148">er ] [ ef="module.php?name=Lexikon&op=content&tid=4171">es ] [ ef="module.php?name=Lexikon&op=content&tid=4199">et ] [ ef="module.php?name=Lexikon&op=content&tid=4354">extension ] [ ef="module.php?name=Lexikon&op=content&tid=4497">fi ] [ ef="module.php?name=Lexikon&op=content&tid=4520">file ] [ ef="module.php?name=Lexikon&op=content&tid=4640">flavour ] [ ef="module.php?name=Lexikon&op=content&tid=4700">fo ] [ ef="module.php?name=Lexikon&op=content&tid=4727">for ] [ ef="module.php?name=Lexikon&op=content&tid=4828">fr ] [ ef="module.php?name=Lexikon&op=content&tid=4859">free ] [ ef="module.php?name=Lexikon&op=content&tid=4939">Fun ] [ ef="module.php?name=Lexikon&op=content&tid=4940">function ] [ ef="module.php?name=Lexikon&op=content&tid=4941">functional ] [ ef="module.php?name=Lexikon&op=content&tid=4946">functional program ] [ ef="module.php?name=Lexikon&op=content&tid=4947">functional programming ] [ ef="module.php?name=Lexikon&op=content&tid=4983">G ] [ ef="module.php?name=Lexikon&op=content&tid=5057">ge ] [ ef="module.php?name=Lexikon&op=content&tid=5134">gh ] [ ef="module.php?name=Lexikon&op=content&tid=5141">gi ] [ ef="module.php?name=Lexikon&op=content&tid=5171">gl ] [ ef="module.php?name=Lexikon&op=content&tid=5205">gn ] [ ef="module.php?name=Lexikon&op=content&tid=5291">gr ] [ ef="module.php?name=Lexikon&op=content&tid=5390">gs ] [ ef="module.php?name=Lexikon&op=content&tid=5403">gu ] [ ef="module.php?name=Lexikon&op=content&tid=5432">gz ] [ ef="module.php?name=Lexikon&op=content&tid=5434">h ] [ ef="module.php?name=Lexikon&op=content&tid=5681">hn ] [ ef="module.php?name=Lexikon&op=content&tid=5710">Hope ] [ ef="module.php?name=Lexikon&op=content&tid=5768">hr ] [ ef="module.php?name=Lexikon&op=content&tid=5779">ht ] [ ef="module.php?name=Lexikon&op=content&tid=5903">IC ] [ ef="module.php?name=Lexikon&op=content&tid=5931">id ] [ ef="module.php?name=Lexikon&op=content&tid=5956">ie ] [ ef="module.php?name=Lexikon&op=content&tid=5986">iff ] [ ef="module.php?name=Lexikon&op=content&tid=6013">il ] [ ef="module.php?name=Lexikon&op=content&tid=6053">import ] [ ef="module.php?name=Lexikon&op=content&tid=6064">in ] [ ef="module.php?name=Lexikon&op=content&tid=6194">int ] [ ef="module.php?name=Lexikon&op=content&tid=6274">interface ] [ ef="module.php?name=Lexikon&op=content&tid=6413">io ] [ ef="module.php?name=Lexikon&op=content&tid=6449">ir ] [ ef="module.php?name=Lexikon&op=content&tid=6468">iron ] [ ef="module.php?name=Lexikon&op=content&tid=6482">is ] [ ef="module.php?name=Lexikon&op=content&tid=6558">it ] [ ef="module.php?name=Lexikon&op=content&tid=6589">J ] [ ef="module.php?name=Lexikon&op=content&tid=6822">ki ] [ ef="module.php?name=Lexikon&op=content&tid=6918">la ] [ ef="module.php?name=Lexikon&op=content&tid=6950">language ] [ ef="module.php?name=Lexikon&op=content&tid=7091">Lex ] [ ef="module.php?name=Lexikon&op=content&tid=7107">li ] [ ef="module.php?name=Lexikon&op=content&tid=7243">lk ] [ ef="module.php?name=Lexikon&op=content&tid=7260">load ] [ ef="module.php?name=Lexikon&op=content&tid=7410">lt ] [ ef="module.php?name=Lexikon&op=content&tid=7441">ly ] [ ef="module.php?name=Lexikon&op=content&tid=7457">M ] [ ef="module.php?name=Lexikon&op=content&tid=7463">ma ] [ ef="module.php?name=Lexikon&op=content&tid=7579">mall ] [ ef="module.php?name=Lexikon&op=content&tid=7816">meter ] [ ef="module.php?name=Lexikon&op=content&tid=8007">ML ] [ ef="module.php?name=Lexikon&op=content&tid=8019">mm ] [ ef="module.php?name=Lexikon&op=content&tid=8032">mo ] [ ef="module.php?name=Lexikon&op=content&tid=8040">mod ] [ ef="module.php?name=Lexikon&op=content&tid=8079">module ] [ ef="module.php?name=Lexikon&op=content&tid=8167">mp ] [ ef="module.php?name=Lexikon&op=content&tid=8258">mu ] [ ef="module.php?name=Lexikon&op=content&tid=8386">na ] [ ef="module.php?name=Lexikon&op=content&tid=8450">nature ] [ ef="module.php?name=Lexikon&op=content&tid=8460">nc ] [ ef="module.php?name=Lexikon&op=content&tid=8472">ne ] [ ef="module.php?name=Lexikon&op=content&tid=8622">nf ] [ ef="module.php?name=Lexikon&op=content&tid=8627">ng ] [ ef="module.php?name=Lexikon&op=content&tid=8630">ni ] [ ef="module.php?name=Lexikon&op=content&tid=8675">no ] [ ef="module.php?name=Lexikon&op=content&tid=8760">ns ] [ ef="module.php?name=Lexikon&op=content&tid=8820">O ] [ ef="module.php?name=Lexikon&op=content&tid=8838">object ] [ ef="module.php?name=Lexikon&op=content&tid=8864">object-oriented ] [ ef="module.php?name=Lexikon&op=content&tid=8866">object-oriented database ] [ ef="module.php?name=Lexikon&op=content&tid=8964">om ] [ ef="module.php?name=Lexikon&op=content&tid=9014">op ] [ ef="module.php?name=Lexikon&op=content&tid=9094">optimising compiler ] [ ef="module.php?name=Lexikon&op=content&tid=9186">overloading ] [ ef="module.php?name=Lexikon&op=content&tid=9204">pa ] [ ef="module.php?name=Lexikon&op=content&tid=9245">PAL ] [ ef="module.php?name=Lexikon&op=content&tid=9296">param ] [ ef="module.php?name=Lexikon&op=content&tid=9297">parameter ] [ ef="module.php?name=Lexikon&op=content&tid=9390">PC ] [ ef="module.php?name=Lexikon&op=content&tid=9457">pe ] [ ef="module.php?name=Lexikon&op=content&tid=9550">ph ] [ ef="module.php?name=Lexikon&op=content&tid=9651">pl ] [ ef="module.php?name=Lexikon&op=content&tid=9740">pm ] [ ef="module.php?name=Lexikon&op=content&tid=9787">polymorphism ] [ ef="module.php?name=Lexikon&op=content&tid=9821">port ] [ ef="module.php?name=Lexikon&op=content&tid=9908">pr ] [ ef="module.php?name=Lexikon&op=content&tid=9920">predecessor ] [ ef="module.php?name=Lexikon&op=content&tid=10012">product ] [ ef="module.php?name=Lexikon&op=content&tid=10023">program ] [ ef="module.php?name=Lexikon&op=content&tid=10042">programming ] [ ef="module.php?name=Lexikon&op=content&tid=10144">pt ] [ ef="module.php?name=Lexikon&op=content&tid=10229">quality ] [ ef="module.php?name=Lexikon&op=content&tid=10253">query ] [ ef="module.php?name=Lexikon&op=content&tid=10364">rc ] [ ef="module.php?name=Lexikon&op=content&tid=10385">re ] [ ef="module.php?name=Lexikon&op=content&tid=10466">reference ] [ ef="module.php?name=Lexikon&op=content&tid=10754">rl ] [ ef="module.php?name=Lexikon&op=content&tid=10767">ro ] [ ef="module.php?name=Lexikon&op=content&tid=10887">ru ] [ ef="module.php?name=Lexikon&op=content&tid=10918">S ] [ ef="module.php?name=Lexikon&op=content&tid=10922">sa ] [ ef="module.php?name=Lexikon&op=content&tid=11010">sc ] [ ef="module.php?name=Lexikon&op=content&tid=11150">se ] [ ef="module.php?name=Lexikon&op=content&tid=11375">SI ] [ ef="module.php?name=Lexikon&op=content&tid=11376">si ] [ ef="module.php?name=Lexikon&op=content&tid=11387">SIG ] [ ef="module.php?name=Lexikon&op=content&tid=11389">sig ] [ ef="module.php?name=Lexikon&op=content&tid=11400">signature ] [ ef="module.php?name=Lexikon&op=content&tid=11449">simulation ] [ ef="module.php?name=Lexikon&op=content&tid=11506">sit ] [ ef="module.php?name=Lexikon&op=content&tid=11556">sm ] [ ef="module.php?name=Lexikon&op=content&tid=11565">Smalltalk ] [ ef="module.php?name=Lexikon&op=content&tid=11651">so ] [ ef="module.php?name=Lexikon&op=content&tid=11680">software ] [ ef="module.php?name=Lexikon&op=content&tid=11737">sort ] [ ef="module.php?name=Lexikon&op=content&tid=11754">SP ] [ ef="module.php?name=Lexikon&op=content&tid=11789">Spec ] [ ef="module.php?name=Lexikon&op=content&tid=11934">st ] [ ef="module.php?name=Lexikon&op=content&tid=12055">stochastic ] [ ef="module.php?name=Lexikon&op=content&tid=12090">strict ] [ ef="module.php?name=Lexikon&op=content&tid=12106">strongly typed ] [ ef="module.php?name=Lexikon&op=content&tid=12109">struct ] [ ef="module.php?name=Lexikon&op=content&tid=12133">su ] [ ef="module.php?name=Lexikon&op=content&tid=12206">support ] [ ef="module.php?name=Lexikon&op=content&tid=12246">sy ] [ ef="module.php?name=Lexikon&op=content&tid=12359">T ] [ ef="module.php?name=Lexikon&op=content&tid=12393">talk ] [ ef="module.php?name=Lexikon&op=content&tid=12416">tar ] [ ef="module.php?name=Lexikon&op=content&tid=12463">td ] [ ef="module.php?name=Lexikon&op=content&tid=12557">test ] [ ef="module.php?name=Lexikon&op=content&tid=12559">testing ] [ ef="module.php?name=Lexikon&op=content&tid=12588">th ] [ ef="module.php?name=Lexikon&op=content&tid=12721">to ] [ ef="module.php?name=Lexikon&op=content&tid=12734">tone ] [ ef="module.php?name=Lexikon&op=content&tid=12777">tp ] [ ef="module.php?name=Lexikon&op=content&tid=12787">tr ] [ ef="module.php?name=Lexikon&op=content&tid=12873">tron ] [ ef="module.php?name=Lexikon&op=content&tid=12896">tt ] [ ef="module.php?name=Lexikon&op=content&tid=12939">tw ] [ ef="module.php?name=Lexikon&op=content&tid=12970">type ] [ ef="module.php?name=Lexikon&op=content&tid=12985">tz ] [ ef="module.php?name=Lexikon&op=content&tid=12986">ua ] [ ef="module.php?name=Lexikon&op=content&tid=13146">up ] [ ef="module.php?name=Lexikon&op=content&tid=13175">us ] [ ef="module.php?name=Lexikon&op=content&tid=13252">va ] [ ef="module.php?name=Lexikon&op=content&tid=13274">var ] [ ef="module.php?name=Lexikon&op=content&tid=13275">variable ] [ ef="module.php?name=Lexikon&op=content&tid=13310">ve ] [ ef="module.php?name=Lexikon&op=content&tid=13366">vi ] [ ef="module.php?name=Lexikon&op=content&tid=13596">wart ] [ ef="module.php?name=Lexikon&op=content&tid=13877">ws ] [ ef="module.php?name=Lexikon&op=content&tid=14160">~ ]