subset-equational language meaning

  • [Computer]
    (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

    ["Set Abstraction in Functional and Logic Programming", F.S.K. Silbermann

Related Words

  1. subservient meaning
  2. subserviently meaning
  3. subservientness meaning
  4. subsessile meaning
  5. subset meaning
  6. subsets meaning
  7. subshrub meaning
  8. subshrubby meaning
  9. subside meaning
  10. subsidence meaning
PC Version