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?
