Algorithmic data structure algebras and multilevel program design
From MaRDI portal
Publication:1087007
zbMATH Open0609.68018MaRDI QIDQ1087007FDOQ1087007
Authors: G. E. Tsejtlin 
Publication date: 1986
Published in: Programming and Computer Software (Search for Journal in Brave)
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
Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60)
Cited In (14)
- Data Linkage Algebra, Data Linkage Dynamics, and Priority Rewriting
- On algebras of algorithms and specifications over uninterpreted data
- Reduction definition of problems of matrix algebra
- Structural models of algorithms in problems of applied programming. I: Formal algorithmic structures
- Title not available (Why is that?)
- Title not available (Why is that?)
- Data based algorithmic algebra
- Title not available (Why is that?)
- Use of the method of formalized technical assignments for the program designs for processing data structures
- Title not available (Why is that?)
- 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)
