Alexander Sakharov. Specialization of Imperative Programs Through Analysis of Relational Expressions. In Olivier Danvy, Robert Glück, Peter Thiemann, editors, Partial Evaluation, International Seminar, Dagstuhl Castle, Germany, February 12-16, 1996, Selected Papers. Volume 1110 of Lecture Notes in Computer Science, pages 430-445, Springer, Dagstuhl Castle, Germany, 1996.
@inproceedings{Sakharov96,
title = {Specialization of Imperative Programs Through Analysis of Relational Expressions},
author = {Alexander Sakharov},
year = {1996},
tags = {program analysis, analysis},
researchr = {https://researchr.org/publication/Sakharov96},
cites = {0},
citedby = {0},
pages = {430-445},
booktitle = {Partial Evaluation},
editor = {Olivier Danvy and Robert Glück and Peter Thiemann},
volume = {1110},
series = {Lecture Notes in Computer Science},
address = {Dagstuhl Castle, Germany},
publisher = {Springer},
isbn = {3-540-61580-6},
}