@inproceedings{e62c0d4e3ea64101b161aca561c7a895,
title = "Semantics of nondeterministic and noncontinuous constructs",
abstract = "The semantics of the nondeterministic and noncontinuous constructs of the descriptive and applicative parts of the wide spectrum language CIP-L is given by defining both, a {"}breadth-function{"}, characterizing the sets of possible values of ambiguous expressions, and a {"}definedness-predicate{"}, indicating for such expressions whether all possible evaluations lead to defined values. With the help of the Egli-Milner ordering ambiguous, recursive functions are defined as fixpoints of functionals. Using these concepts the meanings of quantifiers, ambiguous functions and expressions are based on a mathematical structure satisfying the axioms of two-valued classical logic and set theory.",
author = "M. Broy and R. Gnatz and M. Wirsing",
note = "Publisher Copyright: {\textcopyright} 1979, Springer-Verlag.; International Summer School on Program Construction, 1978 ; Conference date: 26-07-1978 Through 06-08-1978",
year = "1979",
doi = "10.1007/BFb0014683",
language = "English",
isbn = "9783540092513",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "553--592",
editor = "Bauer, {Friedrich L.} and Manfred Broy",
booktitle = "Program Construction - International Summer School",
}