| A.K. Chandra and Z. Manna. The power of programming features. J. Computer Languages, 1:219-232, 1975. 17 |
....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 ....
A.K. Chandra and Z. Manna. The power of programming features. J. Computer Languages, 1:219-232, 1975. 17
....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 the entire program (Felleisen, 1990) i.e. ....
Chandra, A.K., and Manna, Z. (1975), The power of programming features, J. Computer Languages 1, 219--232.
....to state the purpose of a program in the concisest possible manner. 6 Related Work The earliest attempt at defining and comparing the expressive power of programming languages is the work on comparative schematology by Chandra, Hewitt, Manna, Paterson, and others in the early and mid seventies [6, 32]. Schematology studies programming languages with a simple set of control constructs, e.g. while loop programs or recursion equations, and with uninterpreted constant and function symbols. As in predicate logic without arithmetic, it is possible to decide certain questions about such ....
Chandra, A.K. and Z. Manna. The power of programming features. Journal of Computer Languages (Pergamon Press) 1, 1975, 219--232.
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