Semantics of pointers, referencing and dereferencing with intensional logic | IEEE Conference Publication | IEEE Xplore