Sean Halle
05/24/2006 10:48 AM
Computer Engineering
This paper presents a non-formal framework which may help in understanding the hardware-independence properties of computation models and the programming languages built upon them. This framework models a language as a base-case-interface, in terms of which a program is stated as a processor-specification. Each of the elements of the framework is defined and its interactions are shown.
This paper then presents several things: it shows the frameworks applicability by applying it to Lambda Calculus; it uses the framework to divide programming languages into categories; and it shows how this framework can be used to create new parallel languages that have desirable hardware-independence properties.
