Verimag

bibtex

@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},
}

Publication Sections


Contact | Site Map | Site powered by SPIP 3.0.25 + AHUNTSIC [CC License]

info visites 790338