Lattice

http://stackoverflow.com/questions/42918002/lattice-puzzles-in-the-constant-propagation-for-hotspot/42941254#42941254

http://www.cs.odu.edu/~toida/nerzic/content/relation/closure/closure.html

http://www.cliffc.org/blog/2012/02/27/too-much-theory-part-2/

http://boole.stanford.edu/cs353/handouts/book1.pdf

http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.149.3551&rep=rep1&type=pdf

http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.70.4063&rep=rep1&type=pdf

https://www2.informatik.uni-erlangen.de/EN/teaching/thesis/download/i2B00401.pdf

http://mathworld.wolfram.com/Lattice-OrderedSet.html

https://en.wikibooks.org/wiki/ROSE_Compiler_Framework/Lattice

http://www.playingwithpointers.com/speculative-dfa.html

https://books.google.com.vn/books?id=nMZnyp_zW8AC&pg=PA606&lpg=PA606&dq=Lattice+(order)+jit+compiler&source=bl&ots=KaWl3v216o&sig=uDcYyC5qYwzjD1PE-JiZ2iOJfag&hl=zh-CN&sa=X&ved=0ahUKEwjG-a2-vubSAhWKTLwKHf80B_gQ6AEIQDAF#v=onepage&q=Lattice%20(order)%20jit%20compiler&f=false

http://www.cs.cmu.edu/afs/cs/academic/class/15745-s06/web/handouts/05.pdf

http://www.itu.dk/people/brabrand/static.pdf

http://stackoverflow.com/questions/2625261/how-is-a-lattice-used-by-a-compiler

https://en.wikipedia.org/wiki/Lattice_(order)

http://www.cliffc.org/blog/2012/02/27/too-much-theory-part-2/

http://stackoverflow.com/questions/42918002/lattice-puzzles-in-the-constant-propagation-for-hotspot