Constructing the VNG

Value threads created on demand:
• VNG separates only paths on which a value has different names
• still, exponential number of threads (but moderate in practice)

collapse synonymous threads

Previous slide

Next slide

Back to first slide

View graphic version