A generalized control structure and its formal definition
From MaRDI portal
Publication:3666245
DOI10.1145/358161.358168zbMath0517.68024MaRDI QIDQ3666245
Publication date: 1983
Published in: Communications of the ACM (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/358161.358168
Related Items
Nondeterministic semantics of compound diagrams, Abstract representation theorems for demonic refinement algebras, Embedding a demonic semilattice in a relation algebra, Algebras for iteration and infinite computations, Strongest invariant functions: Their use in the systematic analysis of while statements, Termination conventions and comparative semantics, Regularity of relations: A measure of uniformity, Defense in Depth Formulation and Usage in Dynamic Access Control, On the Structure of Demonic Refinement Algebras with Enabledness and Termination, Specification methodology: An integrated relational approach, Theory of information aspects ? A tool to control independence and redundancy of information in database