Operations on Fixpoint Equation Systems

04/14/2023
by   Thomas Neele, et al.
0

We study operations on fixpoint equation systems (FES) over arbitrary complete lattices. We investigate under which conditions these operations, such as substituting variables by their definition, and swapping the ordering of equations, preserve the solution of a FES. We provide rigorous, computer-checked proofs. Along the way, we list a number of known and new identities and inequalities on extremal fixpoints in complete lattices.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset