On the Expressive Power of Programming Languages Export

@inbook{citeulike:96217, abstract = {The literature on programming languages contains an abundance of informal claims on the relative expressive power of programming languages, but there is no framework for formalizing such statements nor for deriving interesting consequences. As a first step in this direction, we develop a formal notion of expressiveness and investigate its properties. To validate the theory, we analyze some widely held beliefs about the expressive power of several extensions of functional languages. Based on...}, address = {New York, N.Y.}, author = {Felleisen, Matthias}, booktitle = {ESOP '90 3rd European Symposium on Programming, Copenhagen, Denmark}, citeulike-article-id = {96217}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.51.4656}, editor = {Jones, N.}, keywords = {closure, oop, oopl, theory}, pages = {134--151}, posted-at = {2006-12-12 09:58:26}, priority = {2}, publisher = {Springer-Verlag}, title = {On the Expressive Power of Programming Languages}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.51.4656}, volume = {432}, year = {1990} }

TY - CHAP ID - citeulike:96217 L3 - citeulike-article-id:96217 N2 - The literature on programming languages contains an abundance of informal claims on the relative expressive power of programming languages, but there is no framework for formalizing such statements nor for deriving interesting consequences. As a first step in this direction, we develop a formal notion of expressiveness and investigate its properties. To validate the theory, we analyze some widely held beliefs about the expressive power of several extensions of functional languages. Based on... AD - New York, N.Y. EP - 151 TI - On the Expressive Power of Programming Languages PB - Springer-Verlag VL - 432 T2 - ESOP '90 3rd European Symposium on Programming, Copenhagen, Denmark SP - 134 KW - closure KW - oop KW - oopl KW - theory AU - Felleisen, Matthias A2 - Jones, N PY - 1990/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.51.4656 ER -