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 .
[“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)

Tagged:

Read Also:

  • Subshell

    noun, Physics. 1. a group of electrons in an atom belonging to the same shell and also having the same azimuthal quantum number. subshell (sŭb’shěl’) One or more orbitals in the electron shell of an atom with the same energy level. Subshells have different shapes and are distinguished by their magnetic quantum number. See more […]

  • Subshrub

    noun 1. a plant consisting of a woody, perennial base with annual, herbaceous shoots. noun 1. a small bushy plant that is woody except for the tips of the branches



  • Subside

    verb (used without object), subsided, subsiding. 1. to sink to a low or lower level. 2. to become quiet, less active, or less violent; abate: The laughter subsided. 3. to sink or fall to the bottom; settle; precipitate: to cause coffee grounds to subside. verb (intransitive) 1. to become less loud, excited, violent, etc; abate […]

  • Subsided

    verb (used without object), subsided, subsiding. 1. to sink to a low or lower level. 2. to become quiet, less active, or less violent; abate: The laughter subsided. 3. to sink or fall to the bottom; settle; precipitate: to cause coffee grounds to subside. verb (intransitive) 1. to become less loud, excited, violent, etc; abate […]



Disclaimer: Subset-equational language definition / meaning should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional. All content on this website is for informational purposes only.