A Logical Approach to Event Handling in Imperative Languages
classification
💻 cs.PL
keywords
eventhandlingapproachadoptcitecomputabilityelementfoundation
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.