The Semantics of wlp and slp of Fuzzy Imperative Programming Languages

DOI10.1007/978-3-642-22833-9_43zbMath1267.68092OpenAlexW68434786MaRDI QIDQ2838684

Hengyang Wu, Yi-Xiang Chen

Publication date: 10 July 2013

Published in: Advances in Intelligent and Soft Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-22833-9_43

zbMATH Keywords

fuzzy logicfuzzy imperative languagethe strongest liberal postconditionthe weakest liberal precondition

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Fuzzy logic; logic of vagueness (03B52) Logic programming (68N17)

Related Items (1)

\(L\)-fuzzy strongest postcondition predicate transformers as \(L\)-idempotent linear or affine operators between semimodules of monotonic predicates

Uses Software

• HALO

This page was built for publication: The Semantics of wlp and slp of Fuzzy Imperative Programming Languages