154 citations
- Czech Academy of Sciences, Institute of MathematicsCZ2 papers
- Dong A University2 papers
- Florida State UniversityUS2 papers
- Kyungsung UniversityKR2 papers
- University of TorontoCA2 papers
- Czech Academy of SciencesCZ1 paper
- Environmental and Occupational Health Sciences InstituteUS1 paper
- Institut de Mathématiques de ToulonFR1 paper
- Kyungil UniversityKR1 paper
- Kyungpook National UniversityKR1 paper
- National Institute for Mathematical SciencesKR1 paper
- Rutgers, The State University of New JerseyUS1 paper
5 papers · 2 filters
Pattern Matching via Choice Existential Quantifications in Imperative Languages
Keehang Kwon
Selection statements -- if-then-else, switch and try-catch -- are commonly used in modern imperative programming languages. We propose another selection statement called a {\it cho…
A New Statement for Selection and Exception Handling in Imperative Languages
Keehang Kwon
Diverse selection statements -- if-then-else, switch and try-catch -- are commonly used in modern programming languages. To make things simple, we propose a unifying statement for…
Bounded-Choice Statements for User Interaction in Imperative and Object-Oriented Programming
Keehang Kwon, Jeongyoon Seo, Daeseong Kang
Adding versatile interactions to imperative programming -- C, Java and Android -- is an essential task. Unfortunately, existing languages provide only limited constructs for user i…
Bounded Choice Queries for Logic Programming
Keehang Kwon
Adding versatile interactions to goals and queries in logic programming is an essential task. Unfortunately, existing logic languages can take input from the user only via the $rea…
Towards Interactive Object-Oriented Programming
Keehang Kwon, Kyunghwan Park, Mi-Young Park
To represent interactive objects, we propose a choice-disjunctive declaration statement of the form S R where S;R are the (procedure or field) declaration statements within a class…