On the power of list iteration

DOI10.1093/COMJNL/22.4.376zbMATH Open0425.68015OpenAlexW1989180326MaRDI QIDQ3860813FDOQ3860813

Michael J. C. Gordon

Publication date: 1979

Published in: The Computer Journal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/comjnl/22.4.376

zbMATH Keywords

LISPlist iteration

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Cited In (17)

• Logical foundations for programming semantics
• The congruence of two programming language definitions
• Macro tree transducers
• Folding left and right over Peano numbers
• The origins of structural operational semantics
• Domain theory in logical form
• Imperative abstractions for functional actions
• Pushdown machines for the macro tree transducer
• On a generalized product for domains
• Full abstraction for the second order subset of an Algol-like language
• Two-level semantics and code generation
• Semantics of interference control
• Limited second-order functionality in a first-order setting
• Two-level semantics and abstract interpretation
• Folding left and right matters: Direct style, accumulators, and continuations
• Modular tree transducers
• Closure functions and general iterates as reflectors

This page was built for publication: On the power of list iteration

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