命令式语言中的匿名变量
编程语言
2017-09-26 v1
摘要
在本文中，我们将匿名变量引入命令式语言。匿名变量代表无关紧要的值，并已在逻辑编程中被证明是有用的。为了将同等程度的益处引入命令式语言，我们描述了对 C 语言的扩展以支持匿名变量。
引用
@article{arxiv.1709.08193,
title = {Anonymous Variables in Imperative Languages},
author = {Keehang Kwon},
journal= {arXiv preprint arXiv:1709.08193},
year = {2017}
}
备注
5 pages, We describe some usage of blind universal/existential quantifiers in imperative languages