<--- Back to Details
First PageDocument Content
Mathematics / Order theory / Algebra / Abstract algebra / Lattice theory / Lattice / Partially ordered set / KnasterTarski theorem / Complete lattice / Binary relation / Join and meet / Monotonic function
Date: 2018-10-25 12:43:22
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

Source URL: jorgenavas.github.io

Download Document from Source Website

File Size: 239,01 KB

Share Document on Facebook

Similar Documents

Mathematics / Mathematical analysis / Order theory / Structure / Lattice theory / Complete lattice / Lattice / Abstract interpretation / Monotonic function / Fixed point / QuickCheck / KnasterTarski theorem

QuickChecking Static Analysis Properties Jan Midtgaard and Anders Møller Abstract Interpretation Winter School From forthcoming ICST’15 paper

DocID: 1qW5m - View Document