Loop Leaping with Closures

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

Bookmark the permalink.