John K. Foderaro

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

http://www2.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://www2.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://www2.eecs.berkeley.edu/Pubs/TechRpts/1983/5980.html
%F Foderaro:CSD-83-160