Buscar en RiuNet

Listar

Todo RiuNet

Mi cuenta

Acceder

Ayuda RiuNet

Admin. UPV

Listar por palabra clave "Program slicing"

Mostrando ítems 1-13 de 13

A vocabulary on Program slicing Based Techniques

Silva Galiana, Josep Francesc (Association for Computing Machinery (ACM), 2012)

This article surveys previous work on program slicing-based techniques. For each technique, we describe its features, its main applications, and a common example of slicing using such a technique. After discussing each ...
An Analysis of the Current Program Slicing and Algorithmic Debugging Based Techniques

Silva Galiana, Josep Francesc (Universitat Politècnica de València, 2012-01-10)

This thesis presents a classification of program slicing based techniques. The classification allows us to identify the differences between existing techniques, but it also allows us to predict new slicing techniques. The ...
Analysis Techniques for Software Maintenance

Pérez Rubio, Sergio (Universitat Politècnica de València, 2023-05-05)

[ES] Vivimos en una sociedad donde la digitalización está presente en nuestro día a día. Nos despertamos con la alarma de nuestro teléfono móvil, apuntamos nuestras reuniones en nuestro calendario digital, guardamos nuestros ...
Data Dependence for Object-Oriented Programs

Galindo-Jiménez, Carlos Santiago; Pérez-Rubio, Sergio; Silva, Josep (ACM, 2020-11-19)

[EN] The System Dependence Graph (SDG) is a program representation used in several static analyses. In particular, it is the basis of program slicing, a technique that extracts the part of the program that may directly or ...
Exception-sensitive program slicing

Galindo, Carlos; Pérez, Sergio; Silva, Josep (Elsevier, 2023-01)

[EN] Program slicing is a technique for program analysis and transformation with many different applications such as program debugging, program specialisation, and parallelisation. The system dependence graph (SDG), the ...
Fragmentación de programas con excepciones

Galindo Jiménez, Carlos Santiago (Universitat Politècnica de València, 2020-02-12)

[ES] La fragmentación de programas es una técnica de análisis de programas que puede ser aplicada prácticamente a todos los lenguajes de programación. Sin embargo, en presencia de excepciones, los fragmentadores de programas ...
Precise explanation of success typing errors

Sagonas, Konstantinos; Silva Galiana, Josep Francesc; Tamarit Muñoz, Salvador (Association for Computing Machinery (ACM), 2013-01-21)

Nowadays, many dynamic languages come with (some sort of) type inference in order to detect type errors statically. Often, in order not to unnecessarily reject programs which are allowed under a dynamic type discipline, ...
Program Slicing for Modern Programming Languages

Galindo Jiménez, Carlos Santiago (Universitat Politècnica de València, 2025-09-24)

[ES] Producir software eficiente y efectivo es una tarea que parece ser tan difícil ahora como lo era para los primeros ordenadores. Con cada mejora de hardware y herramientas de desarrollo (como son compiladores y ...
Program slicing of Java programs

Galindo, Carlos; Pérez, Sergio; Silva, Josep (Elsevier, 2023-01)

[EN] Program slicing is a technique to extract the part of the program that can affect the values computed at a given program point (known as the slicing criterion). To represent programs, program slicing uses the System ...
Program slicing with exception handling

Galindo-Jiménez, Carlos Santiago; Pérez-Rubio, Sergio; Silva, Josep (ACM, 2020-11-19)

[EN] Program slicing is a technique for program analysis and transformation with many different applications such as program debugging, program specialization, and parallelization. The system dependence graph (SDG) is the ...
Slicing Techniques Applied to Concurrent Languages

Tamarit Muñoz, Salvador (Universitat Politècnica de València, 2011-11-28)

In this thesis are presented different program slicing techniques for two concurrent languages: CSP and Petri Nets. As for CSP, two static slices are introduced, using both a new kind of graph. Furthermore, their implementation ...
Slicing unconditional jumps with unnecessary control dependencies

Galindo-Jiménez, Carlos Santiago; Pérez-Rubio, Sergio; Silva, Josep (Springer-Verlag, 2021-02-13)

[EN] Program slicing is an analysis technique that has a wide range of applications, ranging from compilers to clone detection software, and that has been applied to practically all programming languages. Most program ...
Static slicing of explicitly synchronized languages

Leuschel ., Michael; Llorens Agost, María Luisa; Oliver Villarroya, Javier; Silva Galiana, Josep Francesc; Tamarit Muñoz, Salvador (Elsevier, 2012-05)

Static analysis of concurrent languages is a complex task due to the non-deterministic execution of processes. If the concurrent language being studied allows process synchronization, then the analyses are even more complex ...