George Neuner <firstname.lastname@example.org> wrote:
| Kent M Pitman <email@example.com> wrote:
| >Actually, I wish there were some notation of "grammatical complexity"
| >that was different than mere syntax-tokenization and grouping, which
| >I might call "syntactic complexity".
| I'm not sure there is much literature on this topic pertaining to
| programming ...
Here's the main one I remember reading [but it's from 16 years ago!!]:
Matthias Felleisen, "On the Expressive Power of Programming Languages",
Science of Computer Programming, 1991.
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
Rob Warnock <firstname.lastname@example.org>
627 26th Avenue <URL:http://rpw3.org/>
San Mateo, CA 94403 (650)572-2607