A Logical Approach to Event Handling in Imperative Languages
Programming Languages
2015-08-27 v1
Abstract
While event handling is a key element in modern interactive programming, it is unfortunate that its theoretical foundation is rather weak. To solve this problem, we propose to adopt a game-logical approach of computability logic \cite{Jap08} to event handling.
Cite
@article{arxiv.1508.06526,
title = {A Logical Approach to Event Handling in Imperative Languages},
author = {Keehang Kwon},
journal= {arXiv preprint arXiv:1508.06526},
year = {2015}
}
Comments
6 pages