Browse by Journal

Group by: Creator's name | Item Type | Date | No Grouping

Jump to: B | H

Number of items: 2.

B

Biallas, Sebastian and Brauer, Jorg and King, Andy and Kowalewski, Stefan (2012) Loop Leaping with Closures. In: Min'e, Antoine and Schmidt, David A., eds. Static Analysis Symposium. Lecture Notes in Computer Science, 7460 . Springer, pp. 214-230. ISBN 978-3-642-33124-4. (doi:10.1007/978-3-642-33125-1_16) (KAR id:30791)

H

Howe, Jacob M. and King, Andy (2012) Polyhedral Analysis using Parametric Objectives. In: Min'e, Antoine and Schmidt, David A., eds. Static Analysis Symposium. Lecture Notes in Computer Science, 7460 . Springer, pp. 41-57. ISBN 978-3-642-33124-4. (KAR id:30793)

This list was generated on Sat Jan 11 22:40:14 2025 GMT.