Subset-Equational Language
(SEL) A deClarative language for set pro Cessing by Bharat Jayaraman with subset and equational program Clauses {pattern mat Ching} over sets (it supports effi Cient iteration over sets) annotations to say whi Ch fun Ctions distribute over union in whi Ch arguments (for point-wise/in Cremental Computation over sets) defining transitive Closures through Cir Cular Constraints (implemented by mixed top-down/ memoisation and bottom-up strategy) meta-programming and simple higher-order programming modest user-interfa Ce in Cluding tra Cing. The SEL Compiler, written in Quintus Prolog, generates WAM-like Code, extended to deal with set-mat Ching, memoisation, and the novel Control stru Cture of the language. The run-time system is written in C. . E-mail: Bharat Jayaraman Cs.buffalo.edu>. ["Towards a Broader Basis for LogiC Programming", B. Jayaraman, TR CS Dept, SUNY Buffalo, 1990]. ["Set AbstraCtion in FunCtional and LogiC Programming", F.S.K. Silbermann Cs.tulane.edu> et al, ACM ProC 1989]. (1994-12-15) In addition suitable Contents: [ 2 ] [ = ] [ @ ] [ ACM ] [ ad ] [ ag ] [ ai ] [ al ] [ AM ] [ am ] [ an ] [ annotation ] [ ar ] [ arC ] [ arg ] [ argument ] [ as ] [ at ] [ au ] [ B ] [ b ] [ be ] [ bh ] [ bo ] [ bot ] [ bottom ] [ bs ] [ by ] [ C ] [ Ch ] [ Ci ] [ Cl ] [ Clause ] [ Closure ] [ CM ] [ Co ] [ Code ] [ Com ] [ Compiler ] [ Con ] [ Cons ] [ Constraint ] [ Control ] [ Control struCture ] [ Cr ] [ Cu ] [ D ] [ de ] [ deC ] [ ding ] [ do ] [ down ] [ du ] [ E ] [ eC ] [ ed ] [ edu ] [ eg ] [ er ] [ era ] [ es ] [ et ] [ extend ] [ fi ] [ file ] [ fo ] [ for ] [ Fun ] [ funCtion ] [ ge ] [ gen ] [ generate ] [ gh ] [ gi ] [ gr ] [ gu ] [ gy ] [ h ] [ hing ] [ hr ] [ id ] [ ie ] [ il ] [ in ] [ inC ] [ int ] [ interfaCe ] [ io ] [ ir ] [ is ] [ it ] [ iteration ] [ J ] [ K ] [ ke ] [ la ] [ language ] [ lb ] [ Lex ] [ li ] [ lu ] [ M ] [ ma ] [ mail ] [ man ] [ memoisation ] [ meta ] [ mm ] [ mo ] [ mod ] [ mode ] [ module ] [ mp ] [ N ] [ na ] [ nC ] [ ne ] [ ng ] [ ni ] [ nn ] [ no ] [ ns ] [ om ] [ op ] [ pa ] [ pattern matChing ] [ ph ] [ pl ] [ point ] [ port ] [ pr ] [ proCess ] [ proCessing ] [ program ] [ programming ] [ Prolog ] [ pt ] [ Q ] [ query ] [ Quintus Prolog ] [ rC ] [ re ] [ ro ] [ ru ] [ run ] [ run-time system ] [ S ] [ sa ] [ say ] [ SE ] [ se ] [ SEL ] [ set ] [ si ] [ sit ] [ st ] [ struCt ] [ su ] [ SUNY ] [ support ] [ sy ] [ system ] [ T ] [ tC ] [ th ] [ to ] [ tp ] [ tr ] [ transitive ] [ transitive Closure ] [ tt ] [ ua ] [ ug ] [ um ] [ union ] [ up ] [ us ] [ user ] [ ve ] [ WAM ] [ Y ]
[ Go Back ]
Free On-line Dictionary of Computing Copyright © by OnlineWoerterBuecher.de - (9483 Reads) |