Formal specification of a display-oriented text editor

DOI10.1016/0167-6423(82)90014-4zbMath0479.68030OpenAlexW1968103050MaRDI QIDQ1162142

Bernard Sufrin

Publication date: 1982

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

Full work available at URL: https://doi.org/10.1016/0167-6423(82)90014-4

Mathematics Subject Classification ID

Theory of software (68N99)

Related Items

Regularity of relations: A measure of uniformity, Specifications in an arbitrary institution, Physigrams: Modelling devices for natural interaction