Hi,
On Tue, Aug 16, 2005 at 06:17:27PM +0200, Francois Gouget wrote:
Actually 'dereference' is correct here, although I have no doubt that it is not in any dictionary.
Huh, why?
http://dictionary.reference.com/search?q=dereference
But OTOH it does mention "well established in jargon", so you might have a point here.
Andreas