subset-equational language
Transcription
-
- US Pronunciation
- US IPA
-
-
- US Pronunciation
- US IPA
-
Definition of subset-equational language words
- noun Technical meaning of 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 <[email protected]>. 1
Information block about the term
Parts of speech for Subset-equational language
noun
adjective
verb
adverb
pronoun
preposition
conjunction
determiner
exclamation
See also
Matching words
- Words starting with s
- Words starting with su
- Words starting with sub
- Words starting with subs
- Words starting with subse
- Words starting with subset
- Words starting with subsete
- Words starting with subseteq
- Words starting with subsetequ
- Words starting with subsetequa
- Words starting with subsetequat
- Words starting with subsetequati
- Words starting with subsetequatio
- Words starting with subsetequation
Was this page helpful?
Thank you for your feedback! Tell your friends about this page
Tell us why?