Equivalence checking of static affine programs using widening to handle recurrences
Sven Verdoolaege, Gerda Janssens, Maurice Bruynooghe
Essential AOP: The a calculus
Bruno De Fraine, Erik Ernst, Mario Südholt
Space overhead bounds for dynamic memory management with partial compaction
Anna Bendersky, Erez Petrank
Multivariate amortized resource analysis
Jan Hoffmann, Klaus Aehlig, MARTIN HOFMANN
© 2001-2024 Fundación Dialnet · Todos los derechos reservados
Coordinado por: