Mostrar el registro sencillo del ítem
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 |