Correct Computation Rules for Recursive Languages

DOI10.1137/0205031zbMath0359.68010OpenAlexW1977571320MaRDI QIDQ4131609

Peter J. Downey, Ravi Sethi

Publication date: 1976

Published in: SIAM Journal on Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1137/0205031

Mathematics Subject Classification ID

Formal languages and automata (68Q45) General topics in the theory of software (68N01) Algorithms in computer science (68W99)

Related Items (3)

Program transformations and algebraic semantics ⋮ Semantics of algorithmic languages ⋮ Recursion induction principle revisited

This page was built for publication: Correct Computation Rules for Recursive Languages