on the expressive power of programming languages matthias felleisen department of computer science rice university houston tx 77251 1892 abstract the literature on programming languages contains an abundance of informal ...
Filetype PDF | Posted on 31 Jan 2023 | 2 years ago
The words contained in this file might help you see if this file matches what you are looking for:
...On the expressive power of programming languages matthias felleisen department computer science rice university houston tx abstract literature contains an abundance informal claims relative but there is no framework for formalizing such statements nor deriving interesting consequences as a first step in this direction we develop formal notion expressiveness and investigate its properties to demonstrate theory s closeness published intuitions analyze several extensions functional based these results believe that our system correctly captures many ideas it constitutes good basis further research comparing expressibility or non constructs with respect unfor tunately language does not provide spec ifying verifying lack makes impossible draw any firm conclusions from use them objective comparison landin was propose development compar ing he studied relationship among supported part by nsf darpa began classify some essential syntactic sugar others most notably reynolds steele sussman followe...