On transformations of programs

DOI10.1016/S0022-0000(74)80020-6zbMath0277.68009OpenAlexW2095096425MaRDI QIDQ1393935

Richard S. Bird

Publication date: 1974

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0022-0000(74)80020-6

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Formal languages and automata (68Q45) General topics in the theory of software (68N01)

Cites Work

• Some definitional suggestions for automata theory
• Towards a theory of semantics and compilers for programming languages
• On the Computational Complexity of Algorithms
• Another recursion induction principle
• Computability of Recursive Functions

This page was built for publication: On transformations of programs