Mutually Exclusive Procedures in Imperative Languages
Abstract
To represent mutually exclusive procedures, we propose a choice-conjunctive declaration statement of the form uchoo(S,R) where S, R are the procedure declaration statements within a module. This statement has the following semantics: request the machine to choose a successful one between S and R. This statement is useful for representing objects with mutually exclusive procedures. We illustrate our idea via Cuchoo, an extension of the core C with a new statement.
0
Turn this paper into a lesson
ArcXiv compiles a structured reading guide from this paper's metadata: plain-English importance, contributions, prerequisite concepts, which sections to read first, flashcards, and a quiz. Grounded in the abstract, never invented.