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.
Cite
@article{arxiv.1508.03837,
title = {Incorporating User Interaction into Imperative Languages},
author = {Keehang Kwon},
journal= {arXiv preprint arXiv:1508.03837},
year = {2018}
}
Comments
6 pages. arXiv admin note: text overlap with arXiv:1709.08193