Formal transformation of structured sorting algorithms (Q1067782)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Formal transformation of structured sorting algorithms |
scientific article |
Statements
Formal transformation of structured sorting algorithms (English)
0 references
1985
0 references
The article focuses on formalization of the semantics of sequential and parallel sorting algorithms using the apparatus of Glushkov's systems of algorithmic algebras and their modifications. We particularly consider formal transformation of sorting algorithms with the purpose of optimizing them by a set of given criteria.
0 references
systems of algorithmic algebras
0 references
parallel algorithms
0 references
sequential algorithms
0 references
semantics
0 references
