TY  - THES
AU  - Merayo Corcoba, Alicia
A3  - Genaim, Samir
PY  - 2019
UR  - https://hdl.handle.net/20.500.14352/14311
AB  - Resource usage analysis (a.k.a. cost analysis) aims at statically determining the number of resources required to safely execute a given program. A resource can be any quantitative aspect of the program or its environment, such as memory consumption,...
AB  - El análisis de consumo de recursos (en adelante, análisis de coste) busca determinar estáticamente los recursos necesarios para ejecutar un programa de forma segura. Un recurso es cualquier aspecto cuantitativo del programa, como el consumo de memoria...
LA  - spa
KW  - Probabilistic programs
KW  - Expected cost
KW  - Cost relations
KW  - Cost analysis
KW  - Programas probabilistas
KW  - Coste esperado
KW  - Relaciones de coste
KW  - Análisis de coste
TI  - Inference of Upper-Bounds on the Expected Cost of Probabilistic Programs
T2  - Inferencia de cotas superiores sobre el coste esperado de programas probabilistas
M3  - master thesis
ER  -