Anonymous Variables in Imperative Languages
Keehang Kwon

TL;DR
This paper introduces anonymous variables into imperative languages, specifically extending C, to enable don't-care values similar to their use in logic programming, aiming to enhance language expressiveness and flexibility.
Contribution
It presents the first extension of C to include anonymous variables, adapting a concept from logic programming to imperative languages.
Findings
Anonymous variables facilitate more flexible code in C.
The extension improves code clarity and potential optimization.
Demonstrations show practical benefits of anonymous variables.
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, programming, and type systems · Formal Methods in Verification · Logic, Reasoning, and Knowledge
