• bearophile (5/5) Aug 30 2008 This seems related, and nice:

bearophile <bearophileHUGS lycos.com> writes:

This seems related, and nice:

Run-Time Type Checking for Pointers and Arrays in C:
http://osq.cs.berkeley.edu/retreat01/JFoster-OSQ-2001.ppt

Bye,
bearophile