A Logical Approach to Event Handling in Imperative Languages
Keehang Kwon
TL;DR
This paper introduces a game-logical framework based on computability logic to strengthen the theoretical foundation of event handling in imperative programming languages.
Contribution
It proposes a novel logical approach to event handling, applying computability logic to improve understanding and formalization.
Findings
Provides a formal game-logical model for event handling
Enhances theoretical understanding of event-driven programming
Lays groundwork for future logical implementations
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, Reasoning, and Knowledge · Logic, programming, and type systems · Semantic Web and Ontologies