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

DOI10.1007/S10559-008-9068-YzbMATH Open1183.68386OpenAlexW2045718081MaRDI QIDQ1008377FDOQ1008377

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

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

zbMATH Keywords

algorithm designalgorithm transformationregular schemedata formalizationsystem of algorithmic algebras

Mathematics Subject Classification ID

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

Cites Work

• Issues of algorithmics and Glushkov's systems of algorithmic algebras
• The error of adams' type methods for the cauchy-volterra problem
• Title not available (Why is that?)
• Multilevel structured program designs and correctness proving

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)