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