Lattice for the JVM

• L=??Lg,Lt?? with a maximal element, top

• Lt =??Lstk, Lvar??

• Lstk=Stack(Le, s), s is the size of the stack

• Lvar is the n-fold product (not coalesced) lattice of Le

Previous slide

Next slide

Back to first slide

View graphic version