Opal
1. A href="module.php?name=Lexikon&file=search&eid=1&query=DSP">DSP language. ["OPAL: A hig h Level Language and Environment for DSP boards on PC", J.P. Sc hwartz et al, Proc ICASSP-89, 1989]. 2. T he language of t he href="module.php?name=Lexikon&file=search&eid=1&query=object-oriented database">object-oriented database href="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 href="module.php?name=Lexikon&file=search&eid=1&query=simulation">simulation language wit h provision for {stoc hastic 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 href="module.php?name=Lexikon&file=search&eid=1&query=DEC">DEC. 5. A href="module.php?name=Lexikon&file=search&eid=1&query=functional programming">functional programming language designed at t he href="module.php?name=Lexikon&file=search&eid=1&query=Technische Universitaet Berlin">Technische Universitaet Berlin as a testbed for t he development of href="module.php?name=Lexikon&file=search&eid=1&query=functional program">functional programs. OPAL integrates concepts from Algebraic Specification and Functional Programming, w hic h favour t he (formal) development of (large) production-quality software written in a href="module.php?name=Lexikon&file=search&eid=1&query=purely functional">purely functional style. T he core of OPAL is a href="module.php?name=Lexikon&file=search&eid=1&query=strongly typed">strongly typed, href="module.php?name=Lexikon&file=search&eid=1&query=higher-order">higher-order, href="module.php?name=Lexikon&file=search&eid=1&query=strict">strict applicative language w hic h belongs to t he tradition of href="module.php?name=Lexikon&file=search&eid=1&query=hope">hope and href="module.php?name=Lexikon&file=search&eid=1&query=ML">ML. T he algebraic flavour of OPAL is visible in t he syntactical appearance and in t he preference of href="module.php?name=Lexikon&file=search&eid=1&query=parameterisation">parameterisation to href="module.php?name=Lexikon&file=search&eid=1&query=polymorphism">polymorphism. OPAL supports: href="module.php?name=Lexikon&file=search&eid=1&query=information hiding">information hiding - eac h language unit is divided into an interface (signature) and an implementation part selective import href="module.php?name=Lexikon&file=search&eid=1&query=parameterised module">parameterised modules free constructor href="module.php?name=Lexikon&file=search&eid=1&query=views">views on href="module.php?name=Lexikon&file=search&eid=1&query=sorts">sorts, w hic h allow pattern-based function definitions despite quite different implementations full href="module.php?name=Lexikon&file=search&eid=1&query=overloading">overloading of names puristic sc heme language wit h no href="module.php?name=Lexikon&file=search&eid=1&query=built-in">built-in data types (except href="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 t he Tec hnisc he Universitaet Berlin in CS courses and for researc h into optimising compilers for applicative languages. T he OPAL compiler itself is writte entirely in OPAL. An overview is given in "OPAL: Design And Implementation of an Algebraic Programming Language". href="http://www.cs.tu-berlin.de/~opal/">Start . href="ftp://ftp.cs.tu-berlin.de/pub/local/uebb/papers/DesignImplOpal.ps.gz">. (1995-02-16) In addition suitable contents: [ href="module.php?name=Lexikon&op=content&tid=31">2 ] [ href="module.php?name=Lexikon&op=content&tid=134">= ] [ href="module.php?name=Lexikon&op=content&tid=220">ACM ] [ href="module.php?name=Lexikon&op=content&tid=262">ad ] [ href="module.php?name=Lexikon&op=content&tid=374">ae ] [ href="module.php?name=Lexikon&op=content&tid=396">ag ] [ href="module.php?name=Lexikon&op=content&tid=411">ai ] [ href="module.php?name=Lexikon&op=content&tid=432">AL ] [ href="module.php?name=Lexikon&op=content&tid=433">al ] [ href="module.php?name=Lexikon&op=content&tid=464">algebra ] [ href="module.php?name=Lexikon&op=content&tid=466">algebraic ] [ href="module.php?name=Lexikon&op=content&tid=544">am ] [ href="module.php?name=Lexikon&op=content&tid=592">an ] [ href="module.php?name=Lexikon&op=content&tid=683">app ] [ href="module.php?name=Lexikon&op=content&tid=727">applicative language ] [ href="module.php?name=Lexikon&op=content&tid=740">ar ] [ href="module.php?name=Lexikon&op=content&tid=743">arc ] [ href="module.php?name=Lexikon&op=content&tid=759">arg ] [ href="module.php?name=Lexikon&op=content&tid=799">AS ] [ href="module.php?name=Lexikon&op=content&tid=800">as ] [ href="module.php?name=Lexikon&op=content&tid=894">at ] [ href="module.php?name=Lexikon&op=content&tid=992">Autostat ] [ href="module.php?name=Lexikon&op=content&tid=996">av ] [ href="module.php?name=Lexikon&op=content&tid=1025">B ] [ href="module.php?name=Lexikon&op=content&tid=1026">b ] [ href="module.php?name=Lexikon&op=content&tid=1034">ba ] [ href="module.php?name=Lexikon&op=content&tid=1120">base ] [ href="module.php?name=Lexikon&op=content&tid=1159">bb ] [ href="module.php?name=Lexikon&op=content&tid=1181">be ] [ href="module.php?name=Lexikon&op=content&tid=1368">bj ] [ href="module.php?name=Lexikon&op=content&tid=1444">bo ] [ href="module.php?name=Lexikon&op=content&tid=1446">boa ] [ href="module.php?name=Lexikon&op=content&tid=1447">board ] [ href="module.php?name=Lexikon&op=content&tid=1480">Boolean ] [ href="module.php?name=Lexikon&op=content&tid=1535">br ] [ href="module.php?name=Lexikon&op=content&tid=1652">built-in ] [ href="module.php?name=Lexikon&op=content&tid=1695">by ] [ href="module.php?name=Lexikon&op=content&tid=1708">C ] [ href="module.php?name=Lexikon&op=content&tid=1723">CA ] [ href="module.php?name=Lexikon&op=content&tid=1724">ca ] [ href="module.php?name=Lexikon&op=content&tid=1839">CAS ] [ href="module.php?name=Lexikon&op=content&tid=1863">cat ] [ href="module.php?name=Lexikon&op=content&tid=2001">ch ] [ href="module.php?name=Lexikon&op=content&tid=2099">ci ] [ href="module.php?name=Lexikon&op=content&tid=2220">CM ] [ href="module.php?name=Lexikon&op=content&tid=2247">co ] [ href="module.php?name=Lexikon&op=content&tid=2330">com ] [ href="module.php?name=Lexikon&op=content&tid=2429">compiler ] [ href="module.php?name=Lexikon&op=content&tid=2545">con ] [ href="module.php?name=Lexikon&op=content&tid=2606">cons ] [ href="module.php?name=Lexikon&op=content&tid=2630">constructor ] [ href="module.php?name=Lexikon&op=content&tid=2725">core ] [ href="module.php?name=Lexikon&op=content&tid=2976">D ] [ href="module.php?name=Lexikon&op=content&tid=3006">data ] [ href="module.php?name=Lexikon&op=content&tid=3010">database ] [ href="module.php?name=Lexikon&op=content&tid=3091">data type ] [ href="module.php?name=Lexikon&op=content&tid=3151">de ] [ href="module.php?name=Lexikon&op=content&tid=3176">DEC ] [ href="module.php?name=Lexikon&op=content&tid=3177">dec ] [ href="module.php?name=Lexikon&op=content&tid=3304">design ] [ href="module.php?name=Lexikon&op=content&tid=3324">development ] [ href="module.php?name=Lexikon&op=content&tid=3371">diff ] [ href="module.php?name=Lexikon&op=content&tid=3436">ding ] [ href="module.php?name=Lexikon&op=content&tid=3725">DSP ] [ href="module.php?name=Lexikon&op=content&tid=3752">du ] [ href="module.php?name=Lexikon&op=content&tid=3834">E ] [ href="module.php?name=Lexikon&op=content&tid=3865">ec ] [ href="module.php?name=Lexikon&op=content&tid=3896">ed ] [ href="module.php?name=Lexikon&op=content&tid=3929">ee ] [ href="module.php?name=Lexikon&op=content&tid=3946">eg ] [ href="module.php?name=Lexikon&op=content&tid=4148">er ] [ href="module.php?name=Lexikon&op=content&tid=4171">es ] [ href="module.php?name=Lexikon&op=content&tid=4199">et ] [ href="module.php?name=Lexikon&op=content&tid=4354">extension ] [ href="module.php?name=Lexikon&op=content&tid=4497">fi ] [ href="module.php?name=Lexikon&op=content&tid=4520">file ] [ href="module.php?name=Lexikon&op=content&tid=4640">flavour ] [ href="module.php?name=Lexikon&op=content&tid=4700">fo ] [ href="module.php?name=Lexikon&op=content&tid=4727">for ] [ href="module.php?name=Lexikon&op=content&tid=4828">fr ] [ href="module.php?name=Lexikon&op=content&tid=4859">free ] [ href="module.php?name=Lexikon&op=content&tid=4939">Fun ] [ href="module.php?name=Lexikon&op=content&tid=4940">function ] [ href="module.php?name=Lexikon&op=content&tid=4941">functional ] [ href="module.php?name=Lexikon&op=content&tid=4946">functional program ] [ href="module.php?name=Lexikon&op=content&tid=4947">functional programming ] [ href="module.php?name=Lexikon&op=content&tid=4983">G ] [ href="module.php?name=Lexikon&op=content&tid=5057">ge ] [ href="module.php?name=Lexikon&op=content&tid=5134">gh ] [ href="module.php?name=Lexikon&op=content&tid=5141">gi ] [ href="module.php?name=Lexikon&op=content&tid=5171">gl ] [ href="module.php?name=Lexikon&op=content&tid=5205">gn ] [ href="module.php?name=Lexikon&op=content&tid=5291">gr ] [ href="module.php?name=Lexikon&op=content&tid=5390">gs ] [ href="module.php?name=Lexikon&op=content&tid=5403">gu ] [ href="module.php?name=Lexikon&op=content&tid=5432">gz ] [ href="module.php?name=Lexikon&op=content&tid=5434">h ] [ href="module.php?name=Lexikon&op=content&tid=5681">hn ] [ href="module.php?name=Lexikon&op=content&tid=5710">hope ] [ href="module.php?name=Lexikon&op=content&tid=5768">hr ] [ href="module.php?name=Lexikon&op=content&tid=5779">ht ] [ href="module.php?name=Lexikon&op=content&tid=5903">IC ] [ href="module.php?name=Lexikon&op=content&tid=5931">id ] [ href="module.php?name=Lexikon&op=content&tid=5956">ie ] [ href="module.php?name=Lexikon&op=content&tid=5986">iff ] [ href="module.php?name=Lexikon&op=content&tid=6013">il ] [ href="module.php?name=Lexikon&op=content&tid=6053">import ] [ href="module.php?name=Lexikon&op=content&tid=6064">in ] [ href="module.php?name=Lexikon&op=content&tid=6194">int ] [ href="module.php?name=Lexikon&op=content&tid=6274">interface ] [ href="module.php?name=Lexikon&op=content&tid=6413">io ] [ href="module.php?name=Lexikon&op=content&tid=6449">ir ] [ href="module.php?name=Lexikon&op=content&tid=6468">iron ] [ href="module.php?name=Lexikon&op=content&tid=6482">is ] [ href="module.php?name=Lexikon&op=content&tid=6558">it ] [ href="module.php?name=Lexikon&op=content&tid=6589">J ] [ href="module.php?name=Lexikon&op=content&tid=6822">ki ] [ href="module.php?name=Lexikon&op=content&tid=6918">la ] [ href="module.php?name=Lexikon&op=content&tid=6950">language ] [ href="module.php?name=Lexikon&op=content&tid=7091">Lex ] [ href="module.php?name=Lexikon&op=content&tid=7107">li ] [ href="module.php?name=Lexikon&op=content&tid=7243">lk ] [ href="module.php?name=Lexikon&op=content&tid=7260">load ] [ href="module.php?name=Lexikon&op=content&tid=7410">lt ] [ href="module.php?name=Lexikon&op=content&tid=7441">ly ] [ href="module.php?name=Lexikon&op=content&tid=7457">M ] [ href="module.php?name=Lexikon&op=content&tid=7463">ma ] [ href="module.php?name=Lexikon&op=content&tid=7579">mall ] [ href="module.php?name=Lexikon&op=content&tid=7816">meter ] [ href="module.php?name=Lexikon&op=content&tid=8007">ML ] [ href="module.php?name=Lexikon&op=content&tid=8019">mm ] [ href="module.php?name=Lexikon&op=content&tid=8032">mo ] [ href="module.php?name=Lexikon&op=content&tid=8040">mod ] [ href="module.php?name=Lexikon&op=content&tid=8079">module ] [ href="module.php?name=Lexikon&op=content&tid=8167">mp ] [ href="module.php?name=Lexikon&op=content&tid=8258">mu ] [ href="module.php?name=Lexikon&op=content&tid=8386">na ] [ href="module.php?name=Lexikon&op=content&tid=8450">nature ] [ href="module.php?name=Lexikon&op=content&tid=8460">nc ] [ href="module.php?name=Lexikon&op=content&tid=8472">ne ] [ href="module.php?name=Lexikon&op=content&tid=8622">nf ] [ href="module.php?name=Lexikon&op=content&tid=8627">ng ] [ href="module.php?name=Lexikon&op=content&tid=8630">ni ] [ href="module.php?name=Lexikon&op=content&tid=8675">no ] [ href="module.php?name=Lexikon&op=content&tid=8760">ns ] [ href="module.php?name=Lexikon&op=content&tid=8820">O ] [ href="module.php?name=Lexikon&op=content&tid=8838">object ] [ href="module.php?name=Lexikon&op=content&tid=8864">object-oriented ] [ href="module.php?name=Lexikon&op=content&tid=8866">object-oriented database ] [ href="module.php?name=Lexikon&op=content&tid=8964">om ] [ href="module.php?name=Lexikon&op=content&tid=9014">op ] [ href="module.php?name=Lexikon&op=content&tid=9094">optimising compiler ] [ href="module.php?name=Lexikon&op=content&tid=9186">overloading ] [ href="module.php?name=Lexikon&op=content&tid=9204">pa ] [ href="module.php?name=Lexikon&op=content&tid=9245">PAL ] [ href="module.php?name=Lexikon&op=content&tid=9296">param ] [ href="module.php?name=Lexikon&op=content&tid=9297">parameter ] [ href="module.php?name=Lexikon&op=content&tid=9390">PC ] [ href="module.php?name=Lexikon&op=content&tid=9457">pe ] [ href="module.php?name=Lexikon&op=content&tid=9550">ph ] [ href="module.php?name=Lexikon&op=content&tid=9651">pl ] [ href="module.php?name=Lexikon&op=content&tid=9740">pm ] [ href="module.php?name=Lexikon&op=content&tid=9787">polymorphism ] [ href="module.php?name=Lexikon&op=content&tid=9821">port ] [ href="module.php?name=Lexikon&op=content&tid=9908">pr ] [ href="module.php?name=Lexikon&op=content&tid=9920">predecessor ] [ href="module.php?name=Lexikon&op=content&tid=10012">product ] [ href="module.php?name=Lexikon&op=content&tid=10023">program ] [ href="module.php?name=Lexikon&op=content&tid=10042">programming ] [ href="module.php?name=Lexikon&op=content&tid=10144">pt ] [ href="module.php?name=Lexikon&op=content&tid=10229">quality ] [ href="module.php?name=Lexikon&op=content&tid=10253">query ] [ href="module.php?name=Lexikon&op=content&tid=10364">rc ] [ href="module.php?name=Lexikon&op=content&tid=10385">re ] [ href="module.php?name=Lexikon&op=content&tid=10466">reference ] [ href="module.php?name=Lexikon&op=content&tid=10754">rl ] [ href="module.php?name=Lexikon&op=content&tid=10767">ro ] [ href="module.php?name=Lexikon&op=content&tid=10887">ru ] [ href="module.php?name=Lexikon&op=content&tid=10918">S ] [ href="module.php?name=Lexikon&op=content&tid=10922">sa ] [ href="module.php?name=Lexikon&op=content&tid=11010">sc ] [ href="module.php?name=Lexikon&op=content&tid=11150">se ] [ href="module.php?name=Lexikon&op=content&tid=11375">SI ] [ href="module.php?name=Lexikon&op=content&tid=11376">si ] [ href="module.php?name=Lexikon&op=content&tid=11387">SIG ] [ href="module.php?name=Lexikon&op=content&tid=11389">sig ] [ href="module.php?name=Lexikon&op=content&tid=11400">signature ] [ href="module.php?name=Lexikon&op=content&tid=11449">simulation ] [ href="module.php?name=Lexikon&op=content&tid=11506">sit ] [ href="module.php?name=Lexikon&op=content&tid=11556">sm ] [ href="module.php?name=Lexikon&op=content&tid=11565">Smalltalk ] [ href="module.php?name=Lexikon&op=content&tid=11651">so ] [ href="module.php?name=Lexikon&op=content&tid=11680">software ] [ href="module.php?name=Lexikon&op=content&tid=11737">sort ] [ href="module.php?name=Lexikon&op=content&tid=11754">SP ] [ href="module.php?name=Lexikon&op=content&tid=11789">Spec ] [ href="module.php?name=Lexikon&op=content&tid=11934">st ] [ href="module.php?name=Lexikon&op=content&tid=12055">stochastic ] [ href="module.php?name=Lexikon&op=content&tid=12090">strict ] [ href="module.php?name=Lexikon&op=content&tid=12106">strongly typed ] [ href="module.php?name=Lexikon&op=content&tid=12109">struct ] [ href="module.php?name=Lexikon&op=content&tid=12133">su ] [ href="module.php?name=Lexikon&op=content&tid=12206">support ] [ href="module.php?name=Lexikon&op=content&tid=12246">sy ] [ href="module.php?name=Lexikon&op=content&tid=12359">T ] [ href="module.php?name=Lexikon&op=content&tid=12393">talk ] [ href="module.php?name=Lexikon&op=content&tid=12416">tar ] [ href="module.php?name=Lexikon&op=content&tid=12463">td ] [ href="module.php?name=Lexikon&op=content&tid=12557">test ] [ href="module.php?name=Lexikon&op=content&tid=12559">testing ] [ href="module.php?name=Lexikon&op=content&tid=12588">th ] [ href="module.php?name=Lexikon&op=content&tid=12721">to ] [ href="module.php?name=Lexikon&op=content&tid=12734">tone ] [ href="module.php?name=Lexikon&op=content&tid=12777">tp ] [ href="module.php?name=Lexikon&op=content&tid=12787">tr ] [ href="module.php?name=Lexikon&op=content&tid=12873">tron ] [ href="module.php?name=Lexikon&op=content&tid=12896">tt ] [ href="module.php?name=Lexikon&op=content&tid=12939">tw ] [ href="module.php?name=Lexikon&op=content&tid=12970">type ] [ href="module.php?name=Lexikon&op=content&tid=12985">tz ] [ href="module.php?name=Lexikon&op=content&tid=12986">ua ] [ href="module.php?name=Lexikon&op=content&tid=13146">up ] [ href="module.php?name=Lexikon&op=content&tid=13175">us ] [ href="module.php?name=Lexikon&op=content&tid=13252">va ] [ href="module.php?name=Lexikon&op=content&tid=13274">var ] [ href="module.php?name=Lexikon&op=content&tid=13275">variable ] [ href="module.php?name=Lexikon&op=content&tid=13310">ve ] [ href="module.php?name=Lexikon&op=content&tid=13366">vi ] [ href="module.php?name=Lexikon&op=content&tid=13596">wart ] [ href="module.php?name=Lexikon&op=content&tid=13877">ws ] [ href="module.php?name=Lexikon&op=content&tid=14160">~ ]
[ Go Back ]
Free On-line Dictionary of Computing Copyright © by OnlineWoerterBuecher.de - (14232 Reads) |