Scheme canonical forms and their construction in special automaton models of recursive programs

zbMath0909.68120MaRDI QIDQ1276532

R. I. Podlovchenko

Publication date: 31 January 1999

Published in: Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

special automata

Mathematics Subject Classification ID

68Q45: Formal languages and automata

68Q60: Specification and verification (program logics, model checking, etc.)

68N01: General topics in the theory of software