Cost Analysis of Programs Based on the Refinement of Cost Relations
Cost analysis aims at statically inferring the amount of resources, such as time or memory, needed to execute a program. This amount of resources is the cost of the program and it depends on its input parameters. Obtaining a function (in terms of the input parameters) that represents the cost of a...
| Main Author: | |
|---|---|
| Format: | Others |
| Language: | en |
| Published: |
2017
|
| Online Access: | https://tuprints.ulb.tu-darmstadt.de/6746/1/Thesis_Antonio_Flores.pdf Flores Montoya, Antonio <http://tuprints.ulb.tu-darmstadt.de/view/person/Flores_Montoya=3AAntonio=3A=3A.html> (2017): Cost Analysis of Programs Based on the Refinement of Cost Relations.Darmstadt, Technische Universität, [Ph.D. Thesis] |
Internet
https://tuprints.ulb.tu-darmstadt.de/6746/1/Thesis_Antonio_Flores.pdfFlores Montoya, Antonio <http://tuprints.ulb.tu-darmstadt.de/view/person/Flores_Montoya=3AAntonio=3A=3A.html> (2017): Cost Analysis of Programs Based on the Refinement of Cost Relations.Darmstadt, Technische Universität, [Ph.D. Thesis]