Subset-Equational Language
(SEL) A declarative language for set processing by Bharat Jayaraman with subset and equational program clauses {pattern matching} over sets (it supports efficient iteration over sets) annotations to say which functions distribute over union in which arguments (for point-wise/incremental computation over sets) defining transitive closures through circular constraints (implemented by mixed top-down/ memoisation and bottom-up strategy) meta-programming and simple higher-order programming modest user-interface including tracing. The SEL compiler, written in Quintus Prolog, generates WAM-like code, extended to deal with set-matching, memoisation, and the novel control structure of the language. The run-time system is written in C. . E-mail: Bharat Jayaraman . ["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 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 - (9395 Reads) |
