On abstraction and the expressive power of programming languages

DOI10.1016/0167-6423(93)90004-9MaRDI QIDQ1330458zbMATH OpenOpenAlexFDO

Authors John Mitchell

Publication date 21 July 1994

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

Full work available at URL https://doi.org/10.1016/0167-6423(93)90004-9

zbMATH Keywords

abstraction-preserving reductionslanguage translations

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Recommendations

• On abstraction and the expressive power of programming languages
• scientific article; zbMATH DE number 177780
• Expressive power of typed and type-free programming languages
• On the expressive power of programming languages
• Full abstraction for expressiveness: history, myths and facts

Cited in

(16)

• Computability and implementability issues in abstract data types
• On the expressive power of programming languages
• Observational program calculi and the correctness of translations
• Comparing process calculi using encodings
• On the expressive power of the loop language
• scientific article; zbMATH DE number 89003 (Why is no real title available?)
• scientific article; zbMATH DE number 177780 (Why is no real title available?)
• scientific article; zbMATH DE number 1759712 (Why is no real title available?)
• Expressiveness, meanings and machines
• Analysing and comparing encodability criteria
• On abstraction and the expressive power of programming languages
• Reasoning about multi-stage programs
• A randomized encoding of the \(\pi\)-calculus with mixed choice
• Full abstraction for expressiveness: history, myths and facts
• Fully Abstract and Robust Compilation
• On the semantic expressiveness of iso- and equi-recursive types

This page was built for publication: On abstraction and 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 Q1330458)