This page shows all presentations of this author published in EasyChair Smart Slide.
A General Equational Framework for Static Profiling of Parametric Resource Usage
Pedro López-García, Maximiliano Klemen, Umer Liqat and Manuel V. Hermenegildo