@inproceedings{BIL03,
title = {Storeless semantics and alias logic },
author = {Bozga, Marius and Iosif, Radu and Lakhnech, Yassine},
year = {2003},
booktitle = {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},
publisher = {ACM},
series = {lncs},
team = {DCS,PACSS},
}
