Some aspects of algorithm transformation based on the formalization of information connections

DOI10.1007/S10559-009-9158-5MaRDI QIDQ2654972zbMATH OpenOpenAlexFDO

Authors V. G. Akulovskiy

Publication date 22 January 2010

Published in Cybernetics and Systems Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10559-009-9158-5

zbMATH Keywords

algorithm transformationalgebra of algorithmsregular schemedata formalizationinformation connection

Mathematics Subject Classification ID

Analysis of algorithms (68W40)

Recommendations

• scientific article; zbMATH DE number 3936509
• scientific article; zbMATH DE number 1194289
• scientific article; zbMATH DE number 1331119
• Transformation of algorithms written in the form of composition schemes
• Formalization of algorithmic knowledge of object domains in terms of the algebra of algorithmics
• Transformational programming and the derivation of algorithms
• Formal transformation of structured sorting algorithms
• The Algorithmic Transformation of Schemas to Structured Form
• scientific article; zbMATH DE number 3926221
• An algebraic approach for reasoning about information flow

Cites work

• Formalization of interrelations between operators and data within the framework of an extended algebra of algorithms

Cited in

(4)

• scientific article; zbMATH DE number 3936509 (Why is no real title available?)
• Formal transformation of structured sorting algorithms
• Formalization of interrelations between operators and data within the framework of an extended algebra of algorithms
• scientific article; zbMATH DE number 1194289 (Why is no real title available?)

This page was built for publication: Some aspects of algorithm transformation based on the formalization of information connections

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