Pages that link to "Item:Q1087007"
From MaRDI portal
The following pages link to Algorithmic data structure algebras and multilevel program design (Q1087007):
Displaying 8 items.
- Data based algorithmic algebra (Q466367) (← links)
- A formal model of data structures and abstract algorithms for multiprocessor computer systems (Q799365) (← links)
- The formalism underlying EASYMAP: A precompiler for refinement-based exploration of hierarchical data organizations (Q941466) (← links)
- Formalization of interrelations between operators and data within the framework of an extended algebra of algorithms (Q1008377) (← links)
- Structural models of algorithms in problems of applied programming. I: Formal algorithmic structures (Q1040396) (← links)
- On algebras of algorithms and specifications over uninterpreted data (Q2311521) (← links)
- Data Linkage Algebra, Data Linkage Dynamics, and Priority Rewriting (Q5411662) (← links)
- Use of the method of formalized technical assignments for the program designs for processing data structures (Q5930815) (← links)