Anonymous Variables in Imperative Languages
arXiv:1709.08193
Abstract
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.
5 pages, We describe some usage of blind universal/existential quantifiers in imperative languages