New Generation Knowledge Processing. Volume 2.

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Oct 01, 1987
Accession Number
ADA190166

Entities

People

  • J. A. Robinson
  • Kevin J. Greene

Organizations

  • Syracuse University

Tags

Communities of Interest

  • C4I
  • Energy and Power Technologies
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Abstracts
  • Artificial Intelligence
  • Compilers
  • Computations
  • Computer Architecture
  • Computer Programming
  • Computer Science
  • Computers
  • Computing System Architectures
  • Construction
  • High Level Language Architecture
  • Identities
  • Information Science
  • Language
  • Programming Languages
  • Reasoning
  • Side Effects

Fields of Study

  • Computer science

Readers

  • Computational Linguistics