Language Structures for Contractible Compilers.
CARNEGIE-MELLON UNIV PITTSBURGH PA DEPT OF COMPUTER SCIENCE
Pagination or Media Count:
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
- Computer Programming and Software