The Design of a Language for Algebraic Computation Systems

Abstract

This thesis describes the design of a language to support a mathematics-oriented symbolic algebra system. The language, which we have named NEWSPEAK, permits the complex interrelations of mathematical types, such as rings, fields and polynomials to be described. Functions can be written over the most general type that has the required operations and properties and then inherited by subtypes. All function calls are generic, with most function resolution done at compile time. Newspeak is type-safe, yet permits runtime creation of types.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Aug 01, 1983
Accession Number
ADA603453

Entities

People

  • John K. Foderaro

Organizations

  • University of California, Berkeley

Tags

Communities of Interest

  • C4I

DTIC Thesaurus Topics

  • Algorithms
  • C Programming Language
  • Computations
  • Computer Languages
  • Computer Programming
  • Computer Science
  • Computers
  • Databases
  • High Level Languages
  • Language
  • Lists (Data Structures)
  • Mathematics
  • Numbers
  • Polynomials
  • Programming Languages

Fields of Study

  • Computer science

Readers

  • Computational Linguistics
  • Linear Algebra
  • Software Engineering