Anonymous Variables in Imperative Languages
Programming Languages
2017-09-26 v1
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.
Cite
@article{arxiv.1709.08193,
title = {Anonymous Variables in Imperative Languages},
author = {Keehang Kwon},
journal= {arXiv preprint arXiv:1709.08193},
year = {2017}
}
Comments
5 pages, We describe some usage of blind universal/existential quantifiers in imperative languages