August 30, 2008
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