On the power of list iteration

DOI10.1093/comjnl/22.4.376zbMath0425.68015OpenAlexW1989180326MaRDI QIDQ3860813

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)

Related Items

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