Tags: Programming Language.

The Subset-equational language (SEL) is a declarative programming language for set processing written by Bharat Jayaraman.Features include:subset and equational program clauses.pattern matching over sets (supporting 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).metaprogramming 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.

Loading...

This page contains content from the copyrighted Wikipedia article "Subset-equational language"; that content is used under the GNU Free Documentation License (GFDL). You may redistribute it, verbatim or modified, providing that you comply with the terms of the GFDL.