Incorporating User Interaction into Imperative Languages

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.

6 pages. arXiv admin note: text overlap with arXiv:1709.08193

References in corpus (1)

• Sequential operators in computability logic