Back to Results
First PageMeta Content
Mathematics / Order theory / Algebra / Abstract algebra / Lattice theory / Lattice / Partially ordered set / KnasterTarski theorem / Complete lattice / Binary relation / Join and meet / Monotonic function


Abstract Interpretation over Non-Lattice Abstract Domains Graeme Gange, Jorge A. Navas, Peter Schachte, Harald S√łndergaard, and Peter J. Stuckey Department of Computing and Information Systems, The University of Melbour
Add to Reading List

Document Date: 2018-10-25 12:43:22


Open Document

File Size: 239,01 KB

Share Result on Facebook