Cited By
View all- Frielinghaus SPetter MSeidl H(2015)Inter-procedural Two-Variable Herbrand EqualitiesCompiler Construction10.1007/978-3-662-46669-8_19(457-482)Online publication date: 2015
- Howe JKing A(2012)Polyhedral analysis using parametric objectivesProceedings of the 19th international conference on Static Analysis10.1007/978-3-642-33125-1_6(41-57)Online publication date: 11-Sep-2012