Static software analyser tools use different levels of intermediate source code
representations that depend on the syntax and semantics of the language to be analysed …

Current antigenic targets for influenza vaccine development are either highly immunogenic
epitopes of high variability or conserved epitopes of low immunogenicity. This requires …

The ParaPhrase Refactoring Tool for Erlang PaRTE provides automatic, comprehensive and
reliable pattern candidate discovery to locate parallelisable components in Erlang programs …

Refactorings are behavior-preserving code transformations. They are a recommended
software development practice and are now a standard feature in modern IDEs. There are …

Tool-assisted refactoring transformations must be trustworthy if programmers are to be
confident in applying them on arbitrarily extensive and complex code in order to improve …

Context: Software developers spend a significant amount of time on reading,
comprehending, and debugging of source code. Numerous software metrics can give us …

The programming style has an impact on the readability and comprehensibility of the source
code, and it may also affect run-time performance. This statement also holds for functional …

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

Refactorings are behavior-preserving code transformations. They are a recommended
software development practice and are now a standard feature in modern IDEs. There are …

Parallel computations in a program can be expressed conveniently, at a high level of
abstraction, using parallel patterns such as task farm, pipeline or divide-and-conquer. In …