Language Structures for Contractible Compilers.
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)
Document Details
- Document Type
- Technical Report
- Publication Date
- Dec 01, 1971
- Accession Number
- AD0744117
Entities
People
- Mary Shaw
Organizations
- Carnegie Mellon University