论文信息 - Bounded-Choice Statements for User Interaction in Imperative Programming - 字舞流文

Bounded-Choice Statements for User Interaction in Imperative Programming

Dae-Seong Kang | Keehang Kwon | Jeongyoon Seo

[1] Keehang Kwon,et al. Improving Robustness via Disjunctive Statements in Imperative Programming , 2013, IEICE Trans. Inf. Syst..

[2] Gopalan Nadathur,et al. Programming with Higher-Order Logic , 2012 .

[3] Gopalan Nadathur,et al. Uniform Proofs as a Foundation for Logic Programming , 1991, Ann. Pure Appl. Log..

[4] Giorgi Japaridze,et al. Introduction to computability logic , 2003, Ann. Pure Appl. Log..

[5] Giorgi Japaridze,et al. Sequential operators in computability logic , 2007, Inf. Comput..

[6] Dale Miller,et al. Logic Programming in a Fragment of Intuitionistic Linear Logic , 1994, Inf. Comput..