Subset-Equational Language
(S EL) A Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=dEclarativE">dEclarativE languag E for s Et proc Essing by Bharat Jayaraman with subs Et and Equational program claus Es {patt Ern matching} ov Er s Ets (it supports Effici Ent it Eration ov Er s Ets) annotations to say which functions distribut E ov Er union in which argum Ents (for point-wis E/incr Em Ental computation ov Er s Ets) d Efining Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=transitivE closurE">transitivE closurEs through circular constraints (impl Em Ent Ed by mix Ed top-down/ Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=mEmoisation">mEmoisation and bottom-up strat Egy) Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=mEta-programming">mEta-programming and simpl E Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=highEr-ordEr">highEr-ordEr programming mod Est us Er-int Erfac E including tracing. Th E S EL Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=compilEr">compilEr, writt En in Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=Quintus Prolog">Quintus Prolog, g En Erat Es Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=WAM">WAM-lik E cod E, Ext End Ed to d Eal with s Et-matching, Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=mEmoisation">mEmoisation, and th E nov El control structur E of th E languag E. Th E Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=run-timE systEm">run-timE systEm is writt En in Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=C">C. Ef="ftp://ftp.cs.buffalo.Edu/usErs/bharat/SEL2">. E-mail: Bharat Jayaraman 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 E.Edu> Et al, ACM Proc 1989]. (1994-12-15) E="bordEr-width:thin; bordEr-color:#333333; bordEr-stylE:dashEd; padding:5px;" align="lEft">In addition suitablE contEnts:
[ Ef="modulE.php?namE=LExikon&op=contEnt&tid=31">2 ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=134">= ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=135">@ ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=220">ACM ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=262">ad ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=396">ag ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=411">ai ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=433">al ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=543">AM ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=544">am ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=592">an ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=631">annotation ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=740">ar ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=743">arc ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=759">arg ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=760">argumEnt ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=800">as ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=894">at ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=935">au ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=1025">B ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=1026">b ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=1181">bE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=1267">bh ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=1444">bo ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=1501">bot ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=1503">bottom ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=1606">bs ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=1695">by ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=1708">C ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=2001">ch ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=2099">ci ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=2138">cl ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=2157">clausE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=2199">closurE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=2220">CM ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=2247">co ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=2273">codE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=2330">com ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=2429">compilEr ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=2545">con ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=2606">cons ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=2619">constraint ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=2656">control ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=2669">control structurE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=2791">cr ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=2900">cu ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=2976">D ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=3151">dE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=3177">dEc ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=3436">ding ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=3565">do ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=3649">down ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=3752">du ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=3834">E ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=3865">Ec ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=3896">Ed ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=3923">Edu ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=3946">Eg ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=4148">Er ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=4150">Era ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=4171">Es ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=4199">Et ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=4319">ExtEnd ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=4497">fi ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=4520">filE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=4700">fo ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=4727">for ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=4939">Fun ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=4940">function ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=5057">gE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=5070">gEn ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=5089">gEnEratE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=5134">gh ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=5141">gi ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=5291">gr ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=5403">gu ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=5430">gy ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=5434">h ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=5656">hing ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=5768">hr ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=5931">id ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=5956">iE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6013">il ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6064">in ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6068">inc ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6194">int ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6274">intErfacE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6413">io ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6449">ir ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6482">is ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6558">it ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6561">itEration ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6589">J ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6760">K ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6789">kE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6918">la ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=6950">languagE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=7009">lb ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=7091">LEx ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=7107">li ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=7415">lu ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=7457">M ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=7463">ma ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=7540">mail ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=7582">man ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=7745">mEmoisation ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=7787">mEta ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8019">mm ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8032">mo ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8040">mod ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8046">modE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8079">modulE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8167">mp ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8384">N ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8386">na ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8460">nc ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8472">nE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8627">ng ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8630">ni ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8672">nn ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8675">no ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8760">ns ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=8964">om ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=9014">op ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=9204">pa ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=9380">pattErn matching ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=9550">ph ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=9651">pl ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=9762">point ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=9821">port ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=9908">pr ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=9995">procEss ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10000">procEssing ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10023">program ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10042">programming ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10063">Prolog ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10144">pt ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10198">Q ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10253">quEry ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10275">Quintus Prolog ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10364">rc ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10385">rE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10767">ro ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10887">ru ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10892">run ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10903">run-timE systEm ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10918">S ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10922">sa ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=10999">say ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=11149">SE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=11150">sE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=11204">SEL ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=11281">sEt ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=11376">si ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=11506">sit ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=11934">st ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=12109">struct ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=12133">su ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=12180">SUNY ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=12206">support ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=12246">sy ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=12312">systEm ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=12359">T ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=12440">tc ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=12588">th ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=12721">to ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=12777">tp ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=12787">tr ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=12819">transitivE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=12820">transitivE closurE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=12896">tt ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=12986">ua ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=13008">ug ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=13030">um ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=13076">union ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=13146">up ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=13175">us ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=13188">usEr ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=13310">vE ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=13575">WAM ] [ Ef="modulE.php?namE=LExikon&op=contEnt&tid=14024">Y ]
[ Go Back ]
Free On-line Dictionary of Computing Copyright © by OnlineWoerterBuecher.de - (9475 Reads) |
