Formal analysis of name accessing in programming languages
Ames Lab., Ames, IA (United States), Carol Lynn Smith · 1975
One of the main purposes of a programming language is to provide a framework within which a user can convey the specification of a task to an information processing system. A model is proposed in which name accessing conventions can be analyzed and compared.