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

DOI10.1007/S10559-008-9068-YMaRDI QIDQ1008377zbMATH OpenOpenAlexFDO

Authors V. G. Akulovskiy

Publication date 27 March 2009

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

Full work available at URL https://doi.org/10.1007/s10559-008-9068-y

zbMATH Keywords

algorithm designalgorithm transformationregular schemedata formalizationsystem of algorithmic algebras

Mathematics Subject Classification ID

Theory of software (68N99) Abstract data types; algebraic specification (68Q65)

Recommendations

• Some aspects of algorithm transformation based on the formalization of information connections
• Data based algorithmic algebra
• Algorithmic data structure algebras and multilevel program design
• Transformation of algorithms written in the form of composition schemes
• Formalization of algorithmic knowledge of object domains in terms of the algebra of algorithmics

Cites work

• scientific article; zbMATH DE number 3630177 (Why is no real title available?)
• Issues of algorithmics and Glushkov's systems of algorithmic algebras
• Multilevel structured program designs and correctness proving
• The error of adams' type methods for the cauchy-volterra problem

Cited in

(7)

• Algorithmic data structure algebras and multilevel program design
• Mediator Synthesis in a Component Algebra with Data
• Data Linkage Algebra, Data Linkage Dynamics, and Priority Rewriting
• The algebra of direct ordering
• Some aspects of algorithm transformation based on the formalization of information connections
• Data based algorithmic algebra
• Formalization of algorithmic knowledge of object domains in terms of the algebra of algorithmics

This page was built for publication: Formalization of interrelations between operators and data within the framework of an extended algebra of algorithms

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