Recursive programs and the hierarchy of their models

zbMath0875.68210MaRDI QIDQ1817112

R. I. Podlovchenko

Publication date: 14 January 1997

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

zbMATH Keywords

recursive programsequivalent program transformations

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items (1)

Studies in the theory of algebraic models of programs with procedures

This page was built for publication: Recursive programs and the hierarchy of their models