No label defined (Q5289024)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 274905
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 274905 |
Statements
14 September 1993
0 references
functional programming
0 references
relational programming
0 references
reduction system
0 references
LISP
0 references
\(\lambda\)-calculus
0 references
\(\beta\)-reduction
0 references
unification
0 references
0.7149086594581604
0 references
[For the entire collection see Zbl 0651.00015.] The Syracuse University Parallel Expression Reducer (SUPER) is introduced. The system merges both functional and relational programming into a single definition-deduction paradigm. SUPER is a reduction system with includes the rewrite rules the one would expect in a LISP-like \(\lambda\)-calculus. In particular it has the rule of \(\beta\)-reduction, the constants EVERY and SOME to provide logical quantifiers and two syntactic constructs: application (of one expression as a function, to another expression as argument) and abstraction. The SUPER version of unification is discussed at some length.
0 references
