4 ms·
> If the pattern of aliasing can be described by a regular language, then there exist decidable formalisms that can reason about it That sounds really interes
by Rusky 11y ago
> If the pattern of aliasing can be described by a regular language, then there exist decidable formalisms that can reason about it
That sounds really interesting, is there a good place to read more on the subject?
- pcwalton 11y agoA little digging (as this is interesting to me as well) brought up the Pointer Assertion Logic Engine: http://www.brics.dk/RS/00/39/BRICS-RS-00-39.pdf http://www.brics.dk/RS/00/39/BRICS-RS-00-39.pdf