Kleanthis Psarris;David Klappholz
-;-
A type system for static and dynamic checking of C++ pointers
Computer Languages, Systems and Structures