Linearize data structures

• Traverse pointer-directed data structures

• Present to invariant engine as sequence

  • cyclicity determined by front end

Previous slide

Next slide

Back to first slide

View graphic version