Semantics of Pointers, Referencing and Dereferencing with Intensional Logic

Hing-Kai Hung, Jeffery I. Zucker

Browse the full LICS paper archive.