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

DOI10.1007/s10559-008-9068-yzbMath1183.68386OpenAlexW2045718081MaRDI QIDQ1008377

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

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

Related Items (1)

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

Cites Work

• Unnamed Item
• 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

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