This thesis is concerned with the investigation and implementation of a number of
refactorings for Haskell. The refactorings are themselves written in Haskell [108], and …

This paper considers how to use program shaping and algorithmic skeletons to parallelise a
multi-agent system that is written in Erlang. Program shaping is the process of transforming a …

Refactoring is the process of changing the structure of a program while preserving its
behaviour in order to increase code quality, programming productivity and code reuse. With …

Divide-and-conquer algorithms appear in the solution of many computationally intensive
problems, and are good candidates for parallelization. A divide-and-conquer computation …

In this paper, we present a way to measure the structural complexity of distributed functional
programs. Apart from introducing newly devised complexity metrics, it is desirable to make …

Dependencies are an unavoidable part of programming and a likely hurdle when
introducing parallelism. Program slicing is a technique that determines all dependencies …

A programok méretének és bonyolultságának növekedésével a fejlesztés (és a fejlesztési
költségek) egyre nagyobb részét képezi a tesztelés, és a tesztelés során felmerülő …

Abstract Development environments support the programmer in numerous ways from syntax
highlighting to different refactoring and code generating methods. However, there are cases …

Doktori kutatásom során azt a célt tűztem ki, hogy olyan módszereket hozzak létre valamint
fejlesszek tovább, amelyek a .NET-programok minőségi és biztonsági jellemzőit javítják …