This paper is intended to be an expository introduction to the theory of program schemata. A program scheme may be thought of as the family of all real programs, that can be obtained by replacing the instruction symbols in a "program skeleton" by some set of appropriate actual instructions. Among the goals of the study of such objects are to provide a model of a computer program which is totally independent of the workings of any real or abstract machine, to provide a basis for the comparison of the "expressive power" of programming languages, and to provide "normal forms" to assist in program decidability results, the canonical forms of block-structured and WHILE schemes, and a comparison of schemes augmented with recursion, pushdown stores, array, and label.

Library of Congress Subject Headings

Computer programming--Mathematical models; Control theory--Computer programs

Publication Date


Document Type


Department, Program, or Center

Computer Science (GCCIS)


Anderson, Peter

Advisor/Committee Member

Kreher, Donald

Advisor/Committee Member

Lutz, Peter


Note: imported from RIT’s Digital Media Library running on DSpace to RIT Scholar Works. Physical copy available through RIT's The Wallace Library at: QA76.6.R484 1987


RIT – Main Campus