A Logical Approach to Event Handling in Imperative Languages

2015/08/26 by Keehang Kwon, Kwon, Keehang
Computer Science · #FOS: Computer and information sciences #Programming Languages (cs.PL) #cs.PL

paper · pdf · doi:10.48550/arxiv.1508.06526

6 pages

arxiv created 2015/08/26 · arxiv updated 2015/08/27

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 \citeJap08 to event handling.

Related

• Incorporating Inductions and Game Semantics into Logic Programming
• Game Semantics: Easy as Pi
• The process of purely event-driven programs
• Implementing an intelligent version of the classical sliding-puzzle game for unix terminals using Golang's concurrency primitives
• Logic Programming as Scripting Language for Bots in Computer Games -- Research Overview