Publication:3968981
From MaRDI portal
zbMath0503.06008MaRDI QIDQ3968981
Publication date: 1982
Full work available at URL: https://eudml.org/doc/115380
06B23: Complete lattices, completions
06A15: Galois correspondences, closure operators (in relation to ordered sets)
Related Items
Why does Astrée scale up?, Sometime = always + recursion \(\equiv\) always. On the equivalence of the intermittent and invariant assertions methods for proving inevitability properties of programs, Algorithms for the fixed point property, An abstract interpretation framework to reason on finite failure and other properties of finite and infinite computations., Closures on CPOs form complete lattices, Transforming Abstract Interpretations by Abstract Interpretation