A Connotational Theory of Program Structure

Motivations, background, and basic definitions.- Effective numberings, completions, and control structures.- Some special effective numberings.- Characterizations of acceptability.- Independence of control structures.- General programming properties of effective numberings of subrecursive classes.