- -

Dynamic Slicing of CSP via Tracking

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

  • Estadisticas de Uso

Dynamic Slicing of CSP via Tracking

Show full item record

Llorens Agost, ML.; Oliver Villarroya, J.; Silva, J.; Tamarit Muñoz, S. (2015). Dynamic Slicing of CSP via Tracking. Università di Siena. http://hdl.handle.net/10251/87501

Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/87501

Files in this item

Item Metadata

Title: Dynamic Slicing of CSP via Tracking
Author: Llorens Agost, María Luisa Oliver Villarroya, Javier Silva, Josep Tamarit Muñoz, Salvador
UPV Unit: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Universitat Politècnica de València. Escola Tècnica Superior d'Enginyeria Informàtica
Universitat Politècnica de València. Escuela Técnica Superior de Ingenieros de Telecomunicación - Escola Tècnica Superior d'Enginyers de Telecomunicació
Issued date:
Abstract:
Dynamic slicing is a technique to extract the part of the program (called slice) that influences or is influenced, in a particular execution, by a given point of interest in the source code (called slicing criterion). ...[+]
Copyrigths: Cerrado
Publisher:
Università di Siena
Conference name: 25th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2015)
Conference place: Siena, Italy
Conference date: July 13-15, 2015
Project ID:
info:eu-repo/grantAgreement/MINECO//TIN2013-44742-C4-1-R/ES/VALIDACION ASISTIDA DE PROGRAMAS MEDIANTE METODOS PRECISOS Y RIGUROSOS PARA UNA INGENIERIA DEL SOFTWARE ROBUSTA/
...[+]
info:eu-repo/grantAgreement/MINECO//TIN2013-44742-C4-1-R/ES/VALIDACION ASISTIDA DE PROGRAMAS MEDIANTE METODOS PRECISOS Y RIGUROSOS PARA UNA INGENIERIA DEL SOFTWARE ROBUSTA/
info:eu-repo/grantAgreement/EC/FP7/610686/EU/Programming Large Scale Heterogeneous Infrastructures/
info:eu-repo/grantAgreement/GVA//PROMETEOII%2F2015%2F013/ES/SmartLogic: Logic Technologies for Software Security and Performance/
info:eu-repo/grantAgreement/CAM//S2013%2FICE-2731/
info:eu-repo/grantAgreement/MINECO//TIN2012-39391-C04-03/ES/STRONGSOFT-CLIP: TECNOLOGIAS RIGUROSAS PARA SOFTWARE DE NUEVA GENERACION, ABIERTO Y FIABLE/
info:eu-repo/grantAgreement/MINECO//TIN2012-39391-C04-04/ES/TECNOLOGIAS RIGUROSAS PARA SOFTWARE DE NUEVA GENERACION ABIERTO Y FIABLE/
[-]
Thanks:
This work has been partially supported by the EU (FEDER) and the Spanish Ministerio de Economía y Competitividad (Secretaría de Estado de Investigación, Desarrollo e Innovación) under grant TIN2013-44742-C4-1-R (CAVI-ROSE) ...[+]
Type: Comunicación en congreso

recommendations

 

This item appears in the following Collection(s)

Show full item record