Publication:3038593
From MaRDI portal
zbMath0525.68002MaRDI QIDQ3038593
Richard C. Linger, Harlan D. Mills, Bernard I. Witt
Publication date: 1982
68-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science
68Nxx: Theory of software
Related Items
A versatile concept for the analysis of loops, Structural models of algorithms in problems of applied programming. I: Formal algorithmic structures, An axiom system for sequence-based specification, Symbolic verification method for definite iteration over data structures, Atomatics as mathematical modelling and knowledge representation. Applications to systems analysis in computer and information sciences, Maximum-frequency monitoring of program flow, Verification of a finite iteration over data structures, Verification of finite iterations over collections of variable data structures, Regularity of relations: A measure of uniformity