- -

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 simple item record

Files in this item

dc.contributor.author Llorens Agost, María Luisa es_ES
dc.contributor.author Oliver Villarroya, Javier es_ES
dc.contributor.author Silva, Josep es_ES
dc.contributor.author Tamarit Muñoz, Salvador es_ES
dc.date.accessioned 2017-09-19T12:04:08Z
dc.date.available 2017-09-19T12:04:08Z
dc.date.issued 2015
dc.identifier.uri http://hdl.handle.net/10251/87501
dc.description.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). Since a single execution is considered, the technique often uses a trace of this execution to analyze data and control dependencies. In this work we present the first formulation and implementation of dynamic slicing in the context of CSP. The implementation of a dynamic slicer for CSP is useful for debugging, program comprehension, and program specialization, and it is also interesting from a theoretical perspective because CSP introduces difficulties such as heavy concurrency and non-determinism, synchronizations, frequent absence of data dependence, etc. We base our technique on a new data structure to represent CSP computations called track. es_ES
dc.description.sponsorship 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) and by the Generalitat Valenciana under grant PROMETEOII/2015/013. Salvador Tamarit was partially supported by EU FP7-ICT-2013.3.4 project 610686 POLCA, Comunidad de Madrid project S2013/ICE-2731 N-Greens Software and MINECO Projects TIN2012-39391-C0-03 and TIN2012-39391-C04-04 (StrongSoft). es_ES
dc.language Inglés es_ES
dc.publisher Università di Siena es_ES
dc.rights Reserva de todos los derechos es_ES
dc.subject.classification BIBLIOTECONOMIA Y DOCUMENTACION es_ES
dc.subject.classification LENGUAJES Y SISTEMAS INFORMATICOS es_ES
dc.title Dynamic Slicing of CSP via Tracking es_ES
dc.type Comunicación en congreso es_ES
dc.relation.projectID 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/ es_ES
dc.relation.projectID info:eu-repo/grantAgreement/EC/FP7/610686/EU/Programming Large Scale Heterogeneous Infrastructures/ es_ES
dc.relation.projectID info:eu-repo/grantAgreement/GVA//PROMETEOII%2F2015%2F013/ES/SmartLogic: Logic Technologies for Software Security and Performance/ es_ES
dc.relation.projectID info:eu-repo/grantAgreement/CAM//S2013%2FICE-2731/ es_ES
dc.relation.projectID info:eu-repo/grantAgreement/MINECO//TIN2012-39391-C04-03/ES/STRONGSOFT-CLIP: TECNOLOGIAS RIGUROSAS PARA SOFTWARE DE NUEVA GENERACION, ABIERTO Y FIABLE/ es_ES
dc.relation.projectID info:eu-repo/grantAgreement/MINECO//TIN2012-39391-C04-04/ES/TECNOLOGIAS RIGUROSAS PARA SOFTWARE DE NUEVA GENERACION ABIERTO Y FIABLE/ es_ES
dc.rights.accessRights Cerrado es_ES
dc.contributor.affiliation Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació es_ES
dc.contributor.affiliation Universitat Politècnica de València. Escola Tècnica Superior d'Enginyeria Informàtica es_ES
dc.contributor.affiliation Universitat Politècnica de València. Escuela Técnica Superior de Ingenieros de Telecomunicación - Escola Tècnica Superior d'Enginyers de Telecomunicació es_ES
dc.description.bibliographicCitation 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 es_ES
dc.description.accrualMethod S es_ES
dc.relation.conferencename 25th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2015) es_ES
dc.relation.conferencedate July 13-15, 2015 es_ES
dc.relation.conferenceplace Siena, Italy es_ES
dc.type.version info:eu-repo/semantics/publishedVersion es_ES
dc.relation.senia 297662 es_ES
dc.contributor.funder Ministerio de Economía y Competitividad es_ES
dc.contributor.funder European Regional Development Fund es_ES
dc.contributor.funder Generalitat Valenciana es_ES
dc.contributor.funder European Commission es_ES
dc.contributor.funder Comunidad de Madrid es_ES


This item appears in the following Collection(s)

Show simple item record