A subrecursive programming language for increased verifiability
By: by Celia M. Schahczenski
Published: 1990
Language: eng
Number of pages: 131
Notes: Typescript.

Vita.

Thesis (Ph. D.)--University of Florida, 1990.

Includes bibliographical references (leaves 128-130).

Adviser: G. Ritter