An exercise in program design using SIMULA class invariants

DOI10.1002/SPE.4380080311zbMath0376.68013OpenAlexW2074267948MaRDI QIDQ4153586

R. J. Cunningham, Jeff Kramer

Publication date: 1978

Published in: Software: Practice and Experience (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/spe.4380080311

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Uses Software

• Simula 67

This page was built for publication: An exercise in program design using SIMULA class invariants