scientific article; zbMATH DE number 3997138

MaRDI QIDQ4723273zbMATH OpenFDO

Authors Matthias Felleisen, Daniel P. Friedman

Publication date 1987

zbMATH Keywords

\(\lambda\)-calculuscommunicationcontrol and assignment facilitiesmodular programparallel evaluation scheme for functional languagesparallel evaluations for imperative programming languagesparallelism

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of operating systems (68N25)

Recommendations

• Partial order reduction for rewriting semantics of programming languages
• Term Rewriting and Applications
• scientific article; zbMATH DE number 1042220
• An observationally complete program logic for imperative higher-order functions
• Coalgebraic operational semantics for an imperative language
• Symbolic Semantics and Program Reduction
• Initial semantics for reduction rules

Cited in

(3)

• A Step-indexed Semantics of Imperative Objects
• iRho: an imperative rewriting calculus
• Typed equivalence of effect handlers and delimited control

This page was built for publication:

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