| J.C. Reynolds. GEDANKEN - a symple typeless language based on the principle of completeheSS and the reference concept. Communications of the ACM, 5(13):308-319, 1970. |
....basis of the expressibility or non expressibility of programming A short version of this paper appeared in the Proceedin of CONCUR 91 constructs. In the field of sequential languages there has been already since a long time a line of research aiming to forrealize the notion of expressive power [5, 10, 14, 16, 17, 18, 22]. The various approaches agree in considering a language L more expressive than L if the constructs of L can be translated in L without requiring a global reorganization of the entire program [10] i.e. compositionally. Of course, the translation must preserve the meaning, at least in the ....
J.C. Reynolds. GEDANKEN - a symple typeless language based on the principle of completeheSS and the reference concept. Communications of the ACM, 5(13):308-319, 1970.
....languages are considered to be more powerful than others with respect to the capability to express control and data structures. In the field of sequential languages there has been already since a long time a line of research aiming to formalize the notion of expressive power (Landin, 1966; Reynolds, 1970; Paterson and Hewitt, 1970; Chandra and Manna, 1975; Steele and Sussman, 1976; Reynolds, 1981; and Felleisen, 1990) The various approaches agree in considering a language L more expressive than L 0 if the constructs of L 0 can be translated in L without requiring a global reorganization of ....
Reynolds, J.C. (1970), GEDANKEN - a symple typeless language based on the principle of completeness and the reference concept, Communications of the ACM, 5 (13), 308--319.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC