Algorithmic data structure algebras and multilevel program design
From MaRDI portal
Recommendations
- Formalization of interrelations between operators and data within the framework of an extended algebra of algorithms
- scientific article; zbMATH DE number 962431
- On algebras of algorithms and specifications over uninterpreted data
- Structural models of algorithms in problems of applied programming. I: Formal algorithmic structures
- Data based algorithmic algebra
Cited in
(14)- On algebras of algorithms and specifications over uninterpreted data
- Data Linkage Algebra, Data Linkage Dynamics, and Priority Rewriting
- Reduction definition of problems of matrix algebra
- Structural models of algorithms in problems of applied programming. I: Formal algorithmic structures
- scientific article; zbMATH DE number 3870580 (Why is no real title available?)
- scientific article; zbMATH DE number 2169228 (Why is no real title available?)
- Data based algorithmic algebra
- scientific article; zbMATH DE number 3896277 (Why is no real title available?)
- Use of the method of formalized technical assignments for the program designs for processing data structures
- scientific article; zbMATH DE number 3894455 (Why is no real title available?)
- Hybrid Data Structures Defined by Indirection
- A formal model of data structures and abstract algorithms for multiprocessor computer systems
- The formalism underlying EASYMAP: A precompiler for refinement-based exploration of hierarchical data organizations
- Formalization of interrelations between operators and data within the framework of an extended algebra of algorithms
This page was built for publication: Algorithmic data structure algebras and multilevel program design
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1087007)
