Publication:3860813: Difference between revisions
From MaRDI portal
Publication:3860813
Created automatically from import240129110113 |
(No difference)
|
Latest revision as of 17:54, 5 February 2024
DOI10.1093/COMJNL/22.4.376zbMATH Open0425.68015OpenAlexW1989180326MaRDI QIDQ3860813FDOQ3860813
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
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)
