Towards Interactive Object-Oriented Programming

Keehang KWON  Kyunghwan PARK  Mi-Young PARK  

Publication
IEICE TRANSACTIONS on Information and Systems   Vol.E98-D   No.2   pp.437-438
Publication Date: 2015/02/01
Online ISSN: 1745-1361
DOI: 10.1587/transinf.2013EDL8047
Type of Manuscript: LETTER
Category: Software System
Keyword: 
interactions,  object-oriented,  computability logic,  

Full Text: PDF(51.6KB)
>>Buy this Article


Summary: 
To represent interactive objects, we propose a choice-disjunctive declaration statement of the form $S add R$ where S, R are the (procedure or field) declaration statements within a class. This statement has the following semantics: request the user to choose one between S and R when an object of this class is created. This statement is useful for representing interactive objects that require interaction with the user.