Joseph Hummel, Alexandru Nicolau, Laurie J. Hendren. A Language for Conveying the Aliasing Properties of Dynamic, Pointer-Based Data Structures. In Howard Jay Siegel, editor, Proceedings of the 8th International Symposium on Parallel Processing, Cancún, Mexico, April 1994. pages 208-216, IEEE Computer Society, 1994.
Abstract is missing.