Techniques for program error diagnosis on EDSAC 2
From MaRDI portal
Publication:5730475
DOI10.1093/comjnl/6.1.44zbMath0119.13306OpenAlexW2069662423MaRDI QIDQ5730475
D. F. Hartley, D. W. Barron, E. Nixon, J. N. Buxton, Christopher Strachey
Publication date: 1963
Published in: The Computer Journal (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/comjnl/6.1.44
Related Items (2)
Executable component-based semantics ⋮ Possibilities for refining an object program compiled with an ALGOL translator
This page was built for publication: Techniques for program error diagnosis on EDSAC 2