Research work · 2004

Correctness of data representations involving heap data structures

Uday S. Reddy, Hongseok Yang

Science of Computer Programming

Download PDF

DOI: 10.1016/j.scico.2004.01.007