Underlying technique

• Use type inference, allowing type information to be exploited to reduce information about values flowing to locations (and thus names)

• But what to do in programming languages without rich type systems?

Previous slide

Next slide

Back to first slide

View graphic version