Incorporating User Interaction into Imperative Languages

TL;DR

This paper introduces two new forms of the write statement in imperative languages, enhancing interactivity and modularity, with potential applications in user interaction and module implementation.

Contribution

It proposes novel write statement forms that generalize traditional write and support interactive modules in imperative programming.

Findings

New write(x);G statement for generalized output

write(x);D for implementing interactive modules

Potential improvements in user interaction and modularity

Abstract

In this paper, we present two new forms of the $write$ statement: one of the form $write(x);G$ where $G$ is a statement and the other of the form $write(x);D$ where $D$ is a module. The former is a generalization of traditional $write$ statement and is quite useful. The latter is useful for implementing interactive modules.