On the expressive power of programming languages Export

@article{citeulike:1282662, 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 these results, we believe that our system correctly captures many of the informal ideas on expressiveness, and that it constitutes a foundation for further research in this direction.}, author = {Felleisen, Matthias}, citeulike-article-id = {1282662}, citeulike-linkout-0 = {http://www.sciencedirect.com/science/article/B6V17-45GMGK8-X/2/d9b687271373cf1bbdb69d30bb1d8eb2}, journal = {Science of Computer Programming}, keywords = {expressiveness}, month = {December}, number = {1-3}, pages = {35--75}, posted-at = {2007-05-08 05:24:59}, priority = {2}, title = {On the expressive power of programming languages}, url = {http://www.sciencedirect.com/science/article/B6V17-45GMGK8-X/2/d9b687271373cf1bbdb69d30bb1d8eb2}, volume = {17}, year = {1991} }

TY - JOUR ID - citeulike:1282662 L3 - citeulike-article-id:1282662 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 these results, we believe that our system correctly captures many of the informal ideas on expressiveness, and that it constitutes a foundation for further research in this direction. IS - 1-3 JF - Science of Computer Programming EP - 75 TI - On the expressive power of programming languages VL - 17 SP - 35 KW - expressiveness AU - Felleisen, Matthias PY - 1991/12// UR - http://www.sciencedirect.com/science/article/B6V17-45GMGK8-X/2/d9b687271373cf1bbdb69d30bb1d8eb2 ER -