scientific article
From MaRDI portal
Publication:3949940
zbMath0488.68007MaRDI QIDQ3949940
Harlan D. Mills, Richard C. Linger, Bernard I. Witt
Publication date: 1979
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
terminationsoftware reliabilityloop invariantproof of correctnessdata structurecontrol structureverification of programsstepwise abstractionconceptual integritycorrectness of structured programsdata arraydesign validation by top-down developmentinner syntaxloop-free primesouter syntaxprime programsscalar datatrace tables
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of software (68Nxx)
Related Items (9)
Computing and the cultures of proving ⋮ Documenting and verifying systems assembled from components ⋮ Reflexive transitive invariant relations: A basis for computing loop functions ⋮ Reliability theory of program testing ⋮ Applying string-rewriting to sequence-based specification ⋮ Simple section interchange and properties of non-computable functions ⋮ A structured temporal logic language: XYZ/SE ⋮ Symbolic Verification Method for Definite Iterations over Tuples of Altered Data Structures and Its Application to Pointer Programs ⋮ Kleene under a modal demonic star
This page was built for publication:
