2026-09-21T03:11:17Zhttps://cora.ucc.ie/server/oai/request

oai:cora.ucc.ie:10468/13452023-04-04T06:58:00Zcom_10468_388com_10468_5com_10468_227com_10468_1col_10468_389col_10468_511col_10468_140

Not applicable No embargo required No No embargo required No Embargo Required Manning, Joseph B. Townley, Jacinta Maria Science Foundation Ireland 2014-01-29T16:34:46Z 2014-01-29T16:34:46Z 2013 2013 This work considers the static calculation of a program’s average-case time. The number of systems that currently tackle this research problem is quite small due to the difficulties inherent in average-case analysis. While each of these systems make a pertinent contribution, and are individually discussed in this work, only one of them forms the basis of this research. That particular system is known as MOQA. The MOQA system consists of the MOQA language and the MOQA static analysis tool. Its technique for statically determining average-case behaviour centres on maintaining strict control over both the data structure type and the labeling distribution. This research develops and evaluates the MOQA language implementation, and adds to the functions already available in this language. Furthermore, the theory that backs MOQA is generalised and the range of data structures for which the MOQA static analysis tool can determine average-case behaviour is increased. Also, some of the MOQA applications and extensions suggested in other works are logically examined here. For example, the accuracy of classifying the MOQA language as reversible is investigated, along with the feasibility of incorporating duplicate labels into the MOQA theory. Finally, the analyses that take place during the course of this research reveal some of the MOQA strengths and weaknesses. This thesis aims to be pragmatic when evaluating the current MOQA theory, the advancements set forth in the following work and the benefits of MOQA when compared to similar systems. Succinctly, this work’s significant expansion of the MOQA theory is accompanied by a realistic assessment of MOQA’s accomplishments and a serious deliberation of the opportunities available to MOQA in the future. Not peer reviewed Accepted Version application/pdf Townley, J. M. 2013. Practical programming for static average-case analysis: the MOQA investigation. PhD Thesis, University College Cork. 252 https://hdl.handle.net/10468/1345 en University College Cork © 2013, Jacinta Maria Townley http://creativecommons.org/licenses/by-nc-nd/3.0/ Programming Static average-case analysis MOdular Quantitative Analysis (MOQA) Programming languages (Electronic computers) Real-time data processing. Real-time data processing Real-time programming false Practical programming for static average-case analysis: the MOQA investigation Doctoral thesis Doctoral PhD (Science) manning@cs.ucc.ieinfo:eu-repo/semantics/openAccess