An Introduction to the Construction and Verification of Alphard Programs
From MaRDI portal
Publication:4121384
DOI10.1109/TSE.1976.233830zbMath0351.68004MaRDI QIDQ4121384
Wm. A. Wulf, Mary Shaw, Ralph L. London
Publication date: 1976
Published in: IEEE Transactions on Software Engineering (Search for Journal in Brave)
Symbolic computation and algebraic computation (68W30) General topics in the theory of software (68N01) Algorithms in computer science (68W99)
Related Items (5)
Program testing: Specification languages and automatic test generation ⋮ About the implementability and the power of equationally defined data abstractions ⋮ Specifications, models, and implementations of data abstractions ⋮ Programming languages for computer system simulation ⋮ Parameter passing in algebraic specification languages
This page was built for publication: An Introduction to the Construction and Verification of Alphard Programs
