{rfName}
Sy

Indexado en

Licencia y uso

Icono OpenAccess

Citaciones

6

Investigadores/as Institucionales

Silva, JAutor (correspondencia)

Compartir

31 de octubre de 2024
Publicaciones
>
Conferencia Publicada
Sí

System Dependence Graphs in Sequential Erlang

Publicado en: Lecture Notes in Computer Science. 7212 486-500 - 2012-01-01 7212(), DOI:

Autores:

Silva, J; Tamarit, S; Tomás, C
[+]

Afiliaciones

Univ Politecn Valencia - Autor o Coautor

Resumen

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 determine the part of a program (called slice) that influences a given variable of interest. Thanks to the SDG, we can produce precise slices for interprocedural programs. Unfortunately, the SDG cannot be used in the functional paradigm due to important features that are not considered in this formalism (e. g., pattern matching, higher-order, composite expressions, etc.). In this work we propose the first adaptation of the SDG to a functional language facing these problems. We take Erlang as the host language and we adapt the algorithms used to slice the SDG to produce precise slices of Erlang interprocedural programs. As a proof-of-concept, we have implemented a program slicer for Erlang based on our SDGs.
[+]

Indicios de calidad

Impacto bibliométrico. Análisis de la aportación y canal de difusión

Independientemente del impacto esperado determinado por el canal de difusión, es importante destacar el impacto real observado de la propia aportación.

Según las diferentes agencias de indexación, el número de citas acumuladas por esta publicación hasta la fecha 2026-04-05:

  • WoS: 6
[+]

Impacto y visibilidad social

Es fundamental presentar evidencias que respalden la plena alineación con los principios y directrices institucionales en torno a la Ciencia Abierta y la Conservación y Difusión del Patrimonio Intelectual. Un claro ejemplo de ello es:

  • El trabajo se ha enviado a una revista cuya política editorial permite la publicación en abierto Open Access.
[+]

Análisis de liderazgo de los autores institucionales

Existe un liderazgo significativo ya que algunos de los autores pertenecientes a la institución aparecen como primer o último firmante, se puede apreciar en el detalle: Primer Autor (DeLara, J) y Último Autor (Tomás, C).

el autor responsable de establecer las labores de correspondencia ha sido Silva Galiana, Josep Francesc.

[+]