Open Access. Powered by Scholars. Published by Universities.®
- Publication
- Publication Type
Articles 1 - 2 of 2
Full-Text Articles in Engineering
Singular And Plural Non-Deterministic Parameters, Sigurd Meldal, M. A. Walicki
Singular And Plural Non-Deterministic Parameters, Sigurd Meldal, M. A. Walicki
Sigurd Meldal
The article defines algebraic semantics of singular (call-time-choice) and plural (run-time-choice) nondeterministic parameter passing and presents a specification language in which operations with both kinds of parameters can be defined simultaneously. Sound and complete calculi for both semantics are introduced. We study the relations between the two semantics and point out that axioms for operations with plural arguments may be considered as axiom schemata for operations with singular arguments.
Singular And Plural Non-Deterministic Parameters, Sigurd Meldal, M. A. Walicki
Singular And Plural Non-Deterministic Parameters, Sigurd Meldal, M. A. Walicki
Faculty Publications
The article defines algebraic semantics of singular (call-time-choice) and plural (run-time-choice) nondeterministic parameter passing and presents a specification language in which operations with both kinds of parameters can be defined simultaneously. Sound and complete calculi for both semantics are introduced. We study the relations between the two semantics and point out that axioms for operations with plural arguments may be considered as axiom schemata for operations with singular arguments.