mirror of
https://github.com/papers-we-love/papers-we-love.git
synced 2024-10-27 20:34:20 +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
|
|
|
|
* :scroll: [On the Expressive Power of Programming Languages](scp91-felleisen.ps.gz) [sciencedirect](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)
|