Recursive programs and the hierarchy of their models

zbMATH Open0875.68210MaRDI QIDQ1817112FDOQ1817112

Authors: R. I. Podlovchenko 

Publication date: 14 January 1997

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

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

zbMATH Keywords

recursive programsequivalent program transformations

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Cited In (6)

• Studies in the theory of algebraic models of programs with procedures
• Equivalent transformations of heterogeneous meta-programs
• Title not available (Why is that?)
• Title not available (Why is that?)
• Simple Models for Recursive Schemes
• 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)