Word:

Subset-Equational Language

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].
Browse
Subsellium
Subsemitone
Subsensible
Subseptuple
Subsequence
Subsequent
Subsequently
subsequentness
Subserous
Subserve
Subservience
Subservient
Subserviently
subservientness
Subsesqui-
subset
-- Subset-Equational Language --
Subsextuple
subshrub
Subside
Subsidence
Subsidiarily
subsidiarity
Subsidiary
subsidiary company
subsidiary ledger
subsiding
subsidisation
subsidise
subsidised
subsidiser
subsidization
Subsidize
Definitions Index: # A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

About this site and copyright information - Online Dictionary Home - Privacy Policy