EasyChair Smart Slide
A General Equational Framework for Static Profiling of Parametric Resource Usage
A General Equational Framework for Static Profiling of Parametric Resource Usage