- -

Slicing Techniques Applied to Concurrent Languages

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

Slicing Techniques Applied to Concurrent Languages

Show simple item record

Files in this item

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.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


This item appears in the following Collection(s)

Show simple item record