Mostrar el registro sencillo del ítem
dc.contributor.advisor | Vidal Oriola, Germán Francisco | es_ES |
dc.contributor.author | Tamarit Muñoz, Salvador | es_ES |
dc.date.accessioned | 2011-11-28T13:25:50Z | |
dc.date.available | 2011-11-28T13:25:50Z | |
dc.date.created | 2008-12 | |
dc.date.issued | 2011-11-28 | |
dc.identifier.uri | http://hdl.handle.net/10251/13627 | |
dc.description.abstract | In this thesis are presented different program slicing techniques for two concurrent languages: CSP and Petri Nets. As for CSP, two static slices are introduced, using both a new kind of graph. Furthermore, their implementation is also presented and tested. As for Petri Nets, two dynamic slicing techniques are proposed. | es_ES |
dc.format.extent | 70 | es_ES |
dc.language | Inglés | es_ES |
dc.publisher | Universitat Politècnica de València | es_ES |
dc.rights | Reserva de todos los derechos | es_ES |
dc.subject | Csp | es_ES |
dc.subject | Petri nets | es_ES |
dc.subject | Program slicing | es_ES |
dc.subject | Concurrent programming | es_ES |
dc.subject | Reachability analysis | es_ES |
dc.subject.classification | LENGUAJES Y SISTEMAS INFORMATICOS | es_ES |
dc.subject.other | Máster Universitario en Ingeniería del Software, Métodos Formales y Sistemas de Información-Màster Universitari en Enginyeria del Programari, Mètodes Formals i Sistemes D'Informació | es_ES |
dc.title | Slicing Techniques Applied to Concurrent Languages | es_ES |
dc.type | Tesis de máster | es_ES |
dc.rights.accessRights | Abierto | es_ES |
dc.contributor.affiliation | Universitat Politècnica de València. Servicio de Alumnado - Servei d'Alumnat | es_ES |
dc.description.bibliographicCitation | Tamarit Muñoz, S. (2008). Slicing Techniques Applied to Concurrent Languages. http://hdl.handle.net/10251/13627 | es_ES |
dc.description.accrualMethod | Archivo delegado | es_ES |