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

DOI10.1007/S10559-009-9158-5zbMATH Open1183.68762OpenAlexW2089714067MaRDI QIDQ2654972FDOQ2654972

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

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

zbMATH Keywords

algorithm transformationalgebra of algorithmsregular schemedata formalizationinformation connection

Mathematics Subject Classification ID

Analysis of algorithms (68W40)

Cites Work

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

Cited In (4)

• Title not available (Why is that?)
• Formal transformation of structured sorting algorithms
• Formalization of interrelations between operators and data within the framework of an extended algebra of algorithms
• Title not available (Why is that?)

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)