A Logical Approach to Event Handling in Imperative Languages
Keehang Kwon · arXiv (Cornell University) · 2015
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.