Mutually Exclusive Procedures in Imperative Languages
Keehang Kwon

TL;DR
This paper introduces a new language construct for imperative languages to represent mutually exclusive procedures, demonstrated through an extension of C called C^uchoo.
Contribution
It proposes a choice-conjunctive declaration statement for mutually exclusive procedures and implements it in an extended C language.
Findings
The new statement allows effective representation of mutually exclusive procedures.
C^uchoo demonstrates practical integration of the concept into existing language syntax.
The approach simplifies modeling objects with mutually exclusive behaviors.
Abstract
To represent mutually exclusive procedures, we propose a choice-conjunctive declaration statement of the form where are the procedure declaration statements within a module. This statement has the following semantics: request the machine to choose a successful one between and . This statement is useful for representing objects with mutually exclusive procedures. We illustrate our idea via C^uchoo, an extension of the core C with a new statement.
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, Reasoning, and Knowledge · Logic, programming, and type systems · Advanced Algebra and Logic
