An Introduction to the Construction and Verification of Alphard Programs

DOI10.1109/TSE.1976.233830MaRDI QIDQ4121384zbMATH OpenFDO

Authors Wm. A. Wulf, Mary Shaw, Ralph L. London

Publication date 1976

Published in IEEE Transactions on Software Engineering (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/TSE.1976.233830

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Symbolic computation and algebraic computation (68W30) Algorithms in computer science (68W99)

Cited in

(6)

• Parameter passing in algebraic specification languages
• About the implementability and the power of equationally defined data abstractions
• Specifications, models, and implementations of data abstractions
• Program testing: Specification languages and automatic test generation
• Programming languages for computer system simulation
• The concept of class invariant in object-oriented programming

This page was built for publication: An Introduction to the Construction and Verification of Alphard Programs

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