Problem of identity transformations of nondeterministic program shcemes in algorithmic algebra systems
From MaRDI portal
Publication:3673084
DOI10.1007/BF01069760zbMath0522.68022MaRDI QIDQ3673084
Publication date: 1982
Published in: Cybernetics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01069760
algorithmic algebras; structural programming; nondeterministic disjunction operators; propositional program logic
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Multilevel synthesis of structured programs, Identical transformations in algebras of nondeterministic algorithms. I, Theoretical and applied aspects of structured parallel programming