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 Database System", G. Copeland et al, Proc SIGMOD' 84, ACM 1984, pp.316- 325]. 3. A
simulation language with provision for {stochast
IC 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
DEC. 5. A
functional programming language designed at the
Technische Universitaet Berlin as a testbed for the development of
functional programs. OPAL integrates concepts from Algebra
IC Specif
ICation and Functional Programming, wh
ICh 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 appl
ICative language wh
ICh belongs to the tradition of
Hope and
ML. The algebra
IC flavour of OPAL is visible in the syntact
ICal appearance and in the preference of
parameterisation to
polymorphism. OPAL supports:
information hiding - each language unit is divided into an interface (signature) and an implementation part selective import
parameterised modules free constructor
views on
sorts, wh
ICh allow pattern-based function definitions despite quite different implementations full
overloading of names purist
IC scheme language 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 appl
ICative languages. The OPAL compiler itself is writte entirely in OPAL. An overview is given in "OPAL: Design And Implementation of an Algebra
IC 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 ] [ ~ ]