SUBSET-EQUATIONAL LANGUAGE


Meaning of SUBSET-EQUATIONAL LANGUAGE in English

(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 closure s 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].

(1994-12-15)

FOLDOC computer English dictionary.      Английский словарь по компьютерам FOLDOC.