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 …

The granularity level of the program dependence graph (PDG) for composite data structures
(tuples, lists, records, objects, etc.) is inaccurate when slicing their inner elements. We …

The system dependence graph (SDG) is a data structure used in the imperative paradigm for
different static analysis, and particularly, for program slicing. Program slicing allows us to …

The system dependence graph (SDG) is a widely used program representation for the static
analysis of programs. In particular, it is the standard way to represent control and flow …

Traditional refactoring is about modifying the structure of existing code without changing its
behaviour, but with the aim of making code easier to understand, modify, or reuse. In this …

Program slicing is a technique to extract the part of a program (the slice) that influences or is
influenced by a set of variables at a given point (the slicing criterion). Computing minimal …

In any alive and nontrivial program, the source code naturally evolves along the lifecycle for
many reasons such as the implementation of new functionality, the optimization of a …

[CA] Vivim en una societat on la digitalització està present al nostre dia a dia. Ens alcem
amb l'alarma del nostre telèfon mòbil, apuntem les nostres reunions al nostre calendari …

A refactoring transformation performs changes on source code that modifies its structure, but
keeps its semantics intact. When develo** refactoring algorithms one must make sure that …

The granularity level of the traditional program dependence graph (PDG) for composite data
structures (tuples, lists, records, objects, etc.) is inaccurate when slicing their inner elements …