Sökning: "Abu Naser Masud"

Hittade 1 avhandling innehållade orden Abu Naser Masud.

1. 1. Termination and Cost Analysis : Complexity and Precision Issues

   Författare :Abu Naser Masud; Samir Genaim; Germán Puebla; Technical University of Madrid; []
   Nyckelord :;

   Sammanfattning : The research in this thesis is related to static cost and termination analysis.Cost analysis aims at estimating the amount of resources that a given programconsumes during the execution, and termination analysis aims at proving thatthe execution of a given program will eventually terminate. LÄS MER