On the expressive power of programming languages

DOI10.1016/0167-6423(91)90036-WMaRDI QIDQ1183552zbMATH OpenWikidataFDO

Authors Matthias Felleisen

Publication date 28 June 1992

Published in Science of Computer Programming (Search for Journal in Brave)

zbMATH Keywords

expressivenessexpressive power of programming languages

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• scientific article; zbMATH DE number 177780
• On abstraction and the expressive power of programming languages
• On abstraction and the expressive power of programming languages
• scientific article; zbMATH DE number 3845026
• Expressive power of specification languages
• Expressive power of typed and type-free programming languages
• On the expressive power of the loop language
• On the computational complexity of imperative programming languages
• scientific article; zbMATH DE number 3880106

Cited in

(28)

• A Functional Abstraction of Typed Invocation Contexts
• Non-intrusive hierarchical coupling strategies for multi-scale simulations in gravitational dynamics
• Asymptotic speedup via effect handlers
• Full abstraction for expressiveness: history, myths and facts
• Iterating on multiple collections in synchrony
• Expressiveness, meanings and machines
• Remarks on language extensibility
• A static simulation of dynamic delimited control
• Translation of CCS into CSP, correct up to strong bisimulation
• scientific article; zbMATH DE number 7243675 (Why is no real title available?)
• On abstraction and the expressive power of programming languages
• Control effects as a modality
• Observational program calculi and the correctness of translations
• Debugging hygienic macros
• Scoping strategies for distributed aspects
• Understanding algebraic effect handlers via delimited control operators
• Combining control effects and their models: game semantics for a hierarchy of static, dynamic and delimited control effects
• Relative expressiveness of defeasible logics
• The expressive power of higher-order types or, life without CONS
• On abstraction and the expressive power of programming languages
• scientific article; zbMATH DE number 7559296 (Why is no real title available?)
• Shifting the stage. Staging with delimited control
• Musings on encodings and expressiveness
• On the expressive power of the loop language
• Encoding the factorisation calculus
• scientific article; zbMATH DE number 177780 (Why is no real title available?)
• Delimited control and computational effects
• No value restriction is needed for algebraic effects and handlers

This page was built for publication: On the expressive power of programming languages

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1183552)