Recursive programs and the hierarchy of their models

MaRDI QIDQ1817112zbMATH OpenFDO

Authors 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)

Recommendations

• scientific article; zbMATH DE number 862230
• Equivalent transformations in the model of programs with commuting and monotone operators
• Some equivalent transformations of recursive programs based on their schematic properties
• scientific article; zbMATH DE number 29625

Cited in

(6)

• Verification, Model Checking, and Abstract Interpretation
• Simple Models for Recursive Schemes
• scientific article; zbMATH DE number 7434531 (Why is no real title available?)
• Equivalent transformations of heterogeneous meta-programs
• scientific article; zbMATH DE number 5825969 (Why is no real title available?)
• 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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1817112)