- -

Static slicing of explicitly synchronized languages

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

  • Estadisticas de Uso

Static slicing of explicitly synchronized languages

Show full item record

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

Files in this item

Item Metadata

Title: Static slicing of explicitly synchronized languages
Author: Leuschel ., Michael Llorens Agost, María Luisa Oliver Villarroya, Javier Silva Galiana, Josep Francesc Tamarit Muñoz, Salvador
UPV Unit: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
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: Concurrent programming , CSP , Program slicing
Copyrigths: Reserva de todos los derechos
Source:
Information and Computation. (issn: 0890-5401 )
DOI: 10.1016/j.ic.2012.02.005
Publisher:
Elsevier
Publisher version: http://dx.doi.org/10.1016/j.ic.2012.02.005
Project ID:
info:eu-repo/grantAgreement/MICINN//TIN2008-06622-C03-02/ES/VERIFICACION Y DEPURACION AGILES ORIENTADAS A MEJORAR LA SEGURIDAD DEL SOFTWARE/
info:eu-repo/grantAgreement/GVA//PROMETEO%2F2011%2F052/ES/LOGICEXTREME: TECNOLOGIA LOGICA Y SOFTWARE SEGURO/
info:eu-repo/grantAgreement/MICINN//BES-2009-015019/ES/BES-2009-015019/
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: Artículo

recommendations

 

This item appears in the following Collection(s)

Show full item record