Pattern Matching via Choice Existential Quantifications in Imperative Languages
classification
💻 cs.PL
keywords
statementchoiceimperativelanguagesmatchingpatternselectionanother
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.