Electrical Engineering
      and Computer Sciences

Electrical Engineering and Computer Sciences

COLLEGE OF ENGINEERING

UC Berkeley

The Design of a Language for Algebraic Computation Systems

John K. Foderaro

EECS Department
University of California, Berkeley
Technical Report No. UCB/CSD-83-160
August 1983

http://www.eecs.berkeley.edu/Pubs/TechRpts/1983/CSD-83-160.pdf

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.

Advisor: Richard J. Fateman


BibTeX citation:

@phdthesis{Foderaro:CSD-83-160,
    Author = {Foderaro, John K.},
    Title = {The Design of a Language for Algebraic Computation Systems},
    School = {EECS Department, University of California, Berkeley},
    Year = {1983},
    Month = {Aug},
    URL = {http://www.eecs.berkeley.edu/Pubs/TechRpts/1983/5980.html},
    Number = {UCB/CSD-83-160},
    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.}
}

EndNote citation:

%0 Thesis
%A Foderaro, John K.
%T The Design of a Language for Algebraic Computation Systems
%I EECS Department, University of California, Berkeley
%D 1983
%@ UCB/CSD-83-160
%U http://www.eecs.berkeley.edu/Pubs/TechRpts/1983/5980.html
%F Foderaro:CSD-83-160