Subset-Equational Language definition of Subset-Equational Language in the Free Online Encyclopedia.

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.

ftp://ftp.cs.buffalo.edu/users/bharat/SEL2.

E-mail: Bharat Jayaraman <bharat@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 <fs@cs.tulane.edu> et al, ACM Proc 1989].

Mentioned in	?		Encyclopedia browser	?		Full browser	?
No references found	Subscriber Identity Module subscriber line subscriber loop subscriber multiple subscriber network subscriber set subscriber station Subscribers Telegraph System subscribing subscript subscripted variable Subscription subscription data base subscription television subsea apron subsealing subsellium Subsequence subsequent subsequent drainage subsequent fold subsequent stream Subsequent Valley subsere Subset Subset-Equational Language subshell Subshrubs Subsidence subsidence break subsidence inversion subsidiarity subsidiary conduit subsidiary fracture subsidiary transport Subsidiary Treaty Subsidy subsieve analysis subsieve fraction subsill subsine function subsistence farming Subsistence Level subsite subsoil subsoil drain subsoil ice Subsoil Plowing subsoil water subsolar point subsolvus	subserves subservience subservience subserviences subserviences subserviencies subserviencies subserviency subserviency subservient subservient subservient Subservient tenement Subservient tenement Subservient tenement Subservient tenement subserviently subserviently subservientness subserving subserving Subsesqui- subset subset Subset Clauses Subset Cut Enumeration Technique Subset Cut Technique Subset High Performance Fortran Subset inclusion Subset inclusion Subset-Equational Language Subsets Subsets Subsextuple subshell subshell subshrub subshrub subshrubby subshrubs subshrubs Subsidance Subsidance Subsidance Subsidance Subsidaries Subsidaries Subsidaries Subsidary Subsidary Subsidary subside subside subside subside subside into subside into subsided subsided subsided into subsided into

Mentioned in

Encyclopedia browser

Full browser

No references found