Hugues Cassé, L. Féraud, Christine Rochange, Pascal Sainrat. Using the abstract interpretation technique for static pointer analysis. SIGARCH Computer Architecture News, 27(1):47-50, 1999. [doi]
@article{CasseFRS99, title = {Using the abstract interpretation technique for static pointer analysis}, author = {Hugues Cassé and L. Féraud and Christine Rochange and Pascal Sainrat}, year = {1999}, doi = {10.1145/309758.309780}, url = {http://doi.acm.org/10.1145/309758.309780}, researchr = {https://researchr.org/publication/CasseFRS99}, cites = {0}, citedby = {0}, journal = {SIGARCH Computer Architecture News}, volume = {27}, number = {1}, pages = {47-50}, }