The semantics of \(wlp\) and \(slp\) of fuzzy imperative programming languages. (English) Zbl 1267.68092
Li, Shoumei (ed.) et al., Nonlinear mathematics for uncertainty and its applications. Proceedings of the international conference, NL-MUA2011, Beijing, China, September 7–9, 2011. Berlin: Springer (ISBN 978-3-642-22832-2/hbk; 978-3-642-22833-9/ebook). Advances in Intelligent and Soft Computing 100, 357-364 (2011).
Summary: In this paper, we focus on the weakest liberal precondition semantics (\(wlp\), for short) and the strongest liberal postcondition semantics (\(slp\), for short) of fuzzy imperative programming languages and discuss their some basic properties.
For the entire collection see [Zbl 1236.00039].
For the entire collection see [Zbl 1236.00039].
MSC:
68N19 | Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) |
68N17 | Logic programming |
03B52 | Fuzzy logic; logic of vagueness |