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

equivalent program transformationsrecursive programs

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

(8)

• Simple Models for Recursive Schemes
• Equivalent transformations of heterogeneous meta-programs
• Studies in the theory of algebraic models of programs with procedures
• scientific article; zbMATH DE number 5825969 (Why is no real title available?)
• scientific article; zbMATH DE number 29625 (Why is no real title available?)
• scientific article; zbMATH DE number 862230 (Why is no real title available?)
• scientific article; zbMATH DE number 7434531 (Why is no real title available?)
• Verification, Model Checking, and Abstract Interpretation

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)