Accession Number : AD0744117

Title :   Language Structures for Contractible Compilers.

Descriptive Note : Doctoral thesis,

Corporate Author : CARNEGIE-MELLON UNIV PITTSBURGH PA DEPT OF COMPUTER SCIENCE

Personal Author(s) : Shaw,Mary

Report Date : DEC 1971

Pagination or Media Count : 309

Abstract : The work explores the decomposition of a language into a hierarchy of sub-languages of gradually decreasing power. Features of a language are isolated; the language is contracted by removing those features not used by some class of problems; and the effectiveness of the resulting language for many classes of problems is evaluated. Performing such contractions on a language and its subsets yields a set of languages partially ordered by inclusion. The hypothesis of the thesis is that there exist languages such that for some implementation of the compiler for a language, parallel subsets of the language and the compiler may be selected with the properties that the subsets are useful in some appropriate sense, and diminishing size and power in the language correspond to diminishing size and cost in the compiler. (Author)

Descriptors :   (*PROGRAMMING LANGUAGES, COMPILERS), COMPUTER PROGRAMS, MATHEMATICAL LOGIC, SYNTAX, ALGORITHMS, THESES

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE