1. A
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
object-oriented dATabase GemStone. ["Making Smalltalk a D
ATabase System", G. Copeland et al, Proc SIGMOD' 84, ACM 1984, pp.316- 325]. 3. A
simulATion language with provision for {stochastic variable}s. An extension of {Autost
AT}. ["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
DEC. 5. A
functional programming language designed
AT the
Technische Universitaet Berlin as a testbed for the development of
functional programs. OPAL integr
ATes concepts from Algebraic Specific
ATion and Functional Programming, which favour the (formal) development of (large) production-quality software written in a
purely functional style. The core of OPAL is a
strongly typed,
higher-order,
strict applic
ATive language which belongs to the tradition of
Hope and
ML. The algebraic flavour of OPAL is visible in the syntactical appearance and in the preference of
parameterisATion to
polymorphism. OPAL supports:
informATion hiding - each language unit is divided into an interface (sign
ATure) and an implement
ATion part selective import
parameterised modules free constructor
views on
sorts, which allow p
ATtern-based function definitions despite quite different implement
ATions full
overloading of names puristic scheme language with no
built-in d
ATa types (except
Booleans and denot
ATions). 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 applic
ATive languages. The OPAL compiler itself is writte entirely in OPAL. An overview is given in "OPAL: Design And Implement
ATion of an Algebraic Programming Language".
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 ] [ ~ ]