scientific article; zbMATH DE number 29625

MaRDI QIDQ3984744zbMATH OpenFDO

Authors

Publication date 27 June 1992

zbMATH Keywords

partial recursive functionsprogram of a functionRN-algorithmsuniversal recursive functionwhile programs

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20) General topics in the theory of software (68N01)

Recommendations

• Some equivalent transformations of recursive programs based on their schematic properties
• Recursive programs and the hierarchy of their models
• Reductional programming of functions represented by recurrent relations of the first order
• Program algebras of recursive functions
• General iteration and unary functions

Cited in

(8)

• Program path functions
• Program morphisms
• Polytypic data conversion programs
• Recursive programs and the hierarchy of their models
• Design of recursive programs for calculating periodically defined functions over finitely defined data structures
• scientific article; zbMATH DE number 4070281 (Why is no real title available?)
• Program transformation and rewriting
• From sequential programs to multi-tier applications by program transformation

This page was built for publication:

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