Pattern Matching via Choice Existential Quantifications in Imperative Languages
Programming Languages
2013-09-06 v1
Abstract
Selection statements -- if-then-else, switch and try-catch -- are commonly used in modern imperative programming languages. We propose another selection statement called a {\it choice existentially quantified statement}. This statement turns out to be quite useful for pattern matching among several merits. Examples will be provided for this statement.
Keywords
Cite
@article{arxiv.1309.1251,
title = {Pattern Matching via Choice Existential Quantifications in Imperative Languages},
author = {Keehang Kwon},
journal= {arXiv preprint arXiv:1309.1251},
year = {2013}
}
Comments
5 pages