Formal transformation of structured sorting algorithms (Q1067782)

From MaRDI portal
Revision as of 03:05, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Formal transformation of structured sorting algorithms
scientific article

    Statements

    title
    Formal transformation of structured sorting algorithms (English)
    0 references
    author
    G. E. Tsejtlin
    0 references
    publication date
    1985
    0 references
    review text
    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
    Mathematics Subject Classification ID
    68W99
    0 references
    68Q60
    0 references
    68P10
    0 references
    zbMATH DE Number
    3930341
    0 references
    zbMATH Keywords
    systems of algorithmic algebras
    0 references
    parallel algorithms
    0 references
    sequential algorithms
    0 references
    semantics
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1067782&oldid=25970294"
    Powered by MediaWiki