Showing programs on a screen

DOI10.1016/0167-6423(85)90008-5zbMath0562.68022DBLPjournals/scp/MeyerNK85OpenAlexW2057897051WikidataQ56901735 ScholiaQ56901735MaRDI QIDQ1057058

Bertrand Meyer, Soon Hae Ko, Jean-Marc Nerson

Publication date: 1985

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0167-6423(85)90008-5

zbMATH Keywords

recursive procedurescorrectness proofcalculus of windowseditormodern display technologyprograms on a screenscreen allocation

Mathematics Subject Classification ID

Theory of software (68N99)

This page was built for publication: Showing programs on a screen