Marius Bozga, Radu Iosif, Yassine Lakhnech. Storeless semantics and alias logic. In Proceedings of the 2003 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2003, San Diego, California, USA, June 7, 2003. pages 55-65, ACM, 2003. [doi]
Abstract is missing.