ABSTRACT
With the rapid development in Computer Technology, most organization have embraced the use of computer resources in its activities to enable them achieve its set down objectives. Electronic data processing is a wonderful tool which is used extensively in financ...
Background
Most producers use intermediaries to bring their products to market. They use a set of interdependent organizations in the process of making a product or service available for use or consumption by the consumer or business user. This process is what has been...
BACKGROUND AND RELATED WORK
This chapter presents background and related work related to the research topic. It begins with an overview of source code comprehension, focusing on two relevant aspects: readability and expertise. Then a considerable amount of literature is given on the rol...
ABSTRACT
Proving the correctness of a program transformation, and specifically, of a compiler optimization, is a long-standing research problem. Trusting the compiler requires to guarantee that the properties verified on the source program hold for the compiled target-code as well. Thus...