Proof techniques for hierarchically structured programs

DOI10.1145/359461.359483zbMath0358.68030OpenAlexW2085818042MaRDI QIDQ4130971

No author found.

Publication date: 1977

Published in: Communications of the ACM (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/359461.359483

Mathematics Subject Classification ID

Formal languages and automata (68Q45) General topics in the theory of software (68N01)

Related Items

Final algebra semantics and data type extensions, Specifications, models, and implementations of data abstractions, Proving programs correct through refinement, Semantic properties of Lucid's compute clause and its compilation, Operating system verification---an overview, A formal methodology using attributed grammars for multiprocessing-system software development. II. Validation