by Sebastian Biallas, Jörg Brauer, Andy King, Stefan Kowalewski
Reference:
Loop Leaping with Closures (Sebastian Biallas, Jörg Brauer, Andy King, Stefan Kowalewski), In 19th Static Analysis Symposium (Antoine Miné, David Schmidt, eds.), Springer Berlin Heidelberg, 2012.
Bibtex Entry:
@inproceedings { BBKK12,
author = { Biallas, Sebastian and Brauer, J{"o}rg and King, Andy and
Kowalewski, Stefan },
editor = { Min{'e}, Antoine and Schmidt, David },
title = { Loop Leaping with Closures },
booktitle = { 19th Static Analysis Symposium },
series = { Lecture Notes in Computer Science },
publisher = { Springer Berlin Heidelberg },
publishedas = { Druck Online },
isbn = { 978-3-642-33124-4 },
language = { eng },
pages = { 214--230 },
year = { 2012 },
timestamp = { 2012.05.22 },
i11key = { conference },
i11projectkey = { Arcade },
for_reporting_period = { 2012 },
}