Anonymous Variables in Imperative Languages

In this paper, we bring anonymous variables into imperative languages. Anonymous variables represent don't-care values and have proven useful in logic programming. To bring the same level of benefits into imperative languages, we describe an extension to C wth anonymous variables.

[1]  Dale Miller,et al.  Logic programming in a fragment of intuitionistic linear logic , 1991, [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science.

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

[3]  Gilles Kahn,et al.  Natural Semantics , 1987, STACS.

[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]  Gopalan Nadathur,et al.  Programming with Higher-Order Logic , 2012 .

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