Loop Leaping with Closures

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-642-33125-1_16 ◽

2012 ◽

pp. 214-230 ◽

Author(s):

Sebastian Biallas ◽

Jörg Brauer ◽

Andy King ◽

Stefan Kowalewski

Download Full-text