@inproceedings{LOPSTR-2013-DanvyJ,
author = "Olivier Danvy and Jacob Johannsen",
booktitle = "{Revised Selected Papers of the 23rd International Symposium on Logic-Based Program Synthesis and Transformation}",
doi = "10.1007/978-3-319-14125-1_6",
isbn = "['978-3-319-14124-4', '978-3-319-14125-1']",
pages = "91--108",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{From Outermost Reduction Semantics to Abstract Machine}",
volume = 8901,
year = 2013,
}
Tags: