Accession Number : ADA190166

Title :   New Generation Knowledge Processing. Volume 2.

Descriptive Note : Final rept Dec 83-Jan 87,

Corporate Author : SYRACUSE UNIV NY

Personal Author(s) : Robinson, J A ; Greene, Kevin J

PDF Url : ADA190166

Report Date : Oct 1987

Pagination or Media Count : 198

Abstract : The main goal of this project was to design a high-level programming system (which we have named SUPER, an acronym for Syracuse University Parallel Expression Reducer) with two parts: a language which would combine the functional (as in LISP, SASL, or ML) with the relational (as in PROLOG) programming concepts into a single new paradigm and a machine which would execute programs written in the language, using reduction and a multiprocessor architecture. The SUPER language is an extension of the basic lambda-calculus which we call lambda plus. It is formally a collection of expressions together with some rules and definitions which give them meaning and make it possible to de deductive reasoning and computation with them. The expressions of the SUPER language fall into three main syntactic categories: atoms, abstractions, and combinations.

Descriptors :   *COMPUTER PROGRAM DOCUMENTATION, COMPUTER PROGRAMMING, HIGH LEVEL LANGUAGES, COMPUTER ARCHITECTURE, SYNTAX, MULTIPROCESSORS, REASONING

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE