scientific article; zbMATH DE number 3833275

MaRDI QIDQ3038593zbMATH OpenFDO

Authors Richard C. Linger, Harlan D. Mills, Bernard I. Witt

Publication date 1982

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of software (68Nxx)

Cited in

(9)

• 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
• A versatile concept for the analysis of loops

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3038593)