Can I read Formalizing Expressiveness in Programming on EtoBox?
Formalizing Expressiveness in Programming by yetewo3804 is a document available to read on EtoBox.
What is Formalizing Expressiveness in Programming about?
The document discusses the need for a formal framework to compare the expressive power of programming languages, addressing the lack of rigorous definitions in existing literature. It introduces a formal notion of expressibility, analyzes its properties, and demonstrates its applicability through examples from functional languages. The findings suggest that this framework aligns well with informal intuitions about expressiveness and serves as a foundation for future research in programming language theory.
- Author
- yetewo3804
- Language
- EN