Stem dereferenc$ (all stems)
2 papers:
- LICS-1991-HungZ #logic #pointer #semantics
- Semantics of Pointers, Referencing and Dereferencing with Intensional Logic (HKH, JIZ), pp. 127–136.
- ICALP-1977-JanssenB #on the
- On the Proper Treatment or Referencing, Dereferencing and Assignment (TMVJ, PvEB), pp. 282–300.