Search for dissertations about: "Abu Naser Masud"
Found 1 swedish dissertation containing the words Abu Naser Masud.
-
1. Termination and Cost Analysis : Complexity and Precision Issues
Abstract : 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. READ MORE
Result pages:
1