Login / Signup

A Language for Conveying the Aliasing Properties of Dynamic, Pointer-Based Data Structures.

Joseph HummelAlexandru NicolauLaurie J. Hendren
Published in: IPPS (1994)
Keyphrases