Niels Vanspauwen, Edna Barros, Sérgio Cavalcante, Carlos Valderrama. On the Importance, Problems and Solutions of Pointer Synthesis. In Proceedings of the 15th Annual Symposium on Integrated Circuits and Systems Design, SBCCI 2002, Porto Alegre, Brazil, September 9-14, 2002. pages 317-322, IEEE Computer Society, 2002. [doi]
Abstract is missing.