Leuschel ., M.; Llorens Agost, ML.; Oliver Villarroya, J.; Silva Galiana, JF.; Tamarit Muñoz, S. (2012). Static slicing of explicitly synchronized languages. Information and Computation. 214:10-46. https://doi.org/10.1016/j.ic.2012.02.005
Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/34942
Title: | Static slicing of explicitly synchronized languages | |
Author: | Leuschel ., Michael Tamarit Muñoz, Salvador | |
UPV Unit: |
|
|
Issued date: |
|
|
Abstract: |
Static analysis of concurrent languages is a complex task due to the non-deterministic execution of processes. If the concurrent language being studied allows process synchronization, then the analyses are even more complex ...[+]
|
|
Subjects: |
|
|
Copyrigths: | Reserva de todos los derechos | |
Source: |
|
|
DOI: |
|
|
Publisher: |
|
|
Publisher version: | http://dx.doi.org/10.1016/j.ic.2012.02.005 | |
Project ID: |
|
|
Thanks: |
This work has been partially supported by the Spanish Ministerio de Economia y Competitividad (Secretaria de Estado de Investigacion, Desarrollo e Innovacion) under grant TIN2008-06622-C03-02 and by the Generalitat Valenciana ...[+]
|
|
Type: |
|