mirror of
https://github.com/papers-we-love/papers-we-love.git
synced 2024-09-29 23:10:48 +00:00
17 lines
1.1 KiB
Markdown
17 lines
1.1 KiB
Markdown
|
# Programming Language Theory
|
||
|
|
||
|
Programming language theory (PLT) is a branch of computer science that deals with the design, implementation, analysis, characterization, and classification of programming languages and their individual features.
|
||
|
|
||
|
## Included Papers
|
||
|
|
||
|
* [On the Expressive Power of Programming Languages](https://www.sciencedirect.com/science/article/pii/016764239190036W) (Matthias Felleisen): "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 demonstrate the theory's
|
||
|
closeness to published intuitions on expressiveness, we analyze 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 good basis for further research in this
|
||
|
direction. " (abstract)
|