L-fuzzy strongest postcondition predicate transformers as L-idempotent linear or affine operators between semimodules of monotonic predicates
Keyword(s):
1995 ◽
Vol 24
(2)
◽
pp. 129-147
◽
1993 ◽
Vol 38
(2)
◽
pp. 232-247
◽
Keyword(s):
1990 ◽
Vol 12
(3)
◽
pp. 396-428
◽
Keyword(s):