Opal
1. A DsP language. ["OPAL: A High Level Language and Environment for D sP board s on PC", J.P. schwartz et al, Proc ICA ssP-89, 1989]. 2. The language of the object-oriented database Gemstone. ["Making smalltalk a Databa se sy stem", G. Copeland et al, Proc sIGMOD' 84, ACM 1984, pp.316- 325]. 3. A simulation language with provi sion for { stocha stic variable} s. An exten sion of {Auto stat}. ["C-E-I-R OPAL", D. Pilling, Internal Report, C.E.I.R. Ltd. (1963)]. 4. A language for compiler te sting said to be u sed internally by DEC. 5. A functional programming language de signed at the Technische Universitaet Berlin a s a te stbed for the development of functional programs. OPAL integrate s concept s from Algebraic specification and Functional Programming, which favour the (formal) development of (large) production-quality software written in a purely functional style. The core of OPAL i s a strongly typed, higher-order, strict applicative language which belong s to the tradition of Hope and ML. The algebraic flavour of OPAL i s vi sible in the syntactical appearance and in the preference of parameterisation to polymorphism. OPAL support s: information hiding - each language unit i s divided into an interface ( signature) and an implementation part selective import parameterised modules free con structor views on sorts, which allow pattern-ba sed function definition s de spite quite different implementation s full overloading of name s puri stic scheme language with no built-in data type s (except Booleans and denotation s). OPAL and it s predece ssor OPAL-0 have been u sed for some time at the Techni sche Univer sitaet Berlin in C s cour se s and for re search into optimi sing compiler s for applicative language s. The OPAL compiler it self i s writte entirely in OPAL. An overview i s given in "OPAL: De sign And Implementation of an Algebraic Programming Language". start . . (1995-02-16) style="border-width:thin; border-color:#333333; border-style:dashed; padding:5px;" align="left">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 ] [ ~ ]
[ Go Back ]
Free On-line Dictionary of Computing Copyright © by OnlineWoerterBuecher.de - (14200 Reads) |