Pure pointer programs with iteration

Martin Hofmann, Ulrich Schöpp. Pure pointer programs with iteration. ACM Trans. Comput. Log., 11(4), 2010. [doi]

No reviews for this publication, yet.