Formal specification of a display-oriented text editor

DOI10.1016/0167-6423(82)90014-4MaRDI QIDQ1162142zbMATH OpenOpenAlexFDO

Authors 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)

Cited in

(3)

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

This page was built for publication: Formal specification of a display-oriented text editor

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