- -

Dynamic Slicing of CSP via Tracking

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by


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
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:
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
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/EC/FP7/610686
Type: Comunicación en congreso

This item appears in the following Collection(s)

Show full item record