[n° ou bulletin] 

Titre :	Volume 53 - Dynamic slicing of concurrent specification languages
Type de document :	document électronique
Auteurs :	M. Llorens, Auteur ; J Olive, Auteur ; J. Silva, Auteur
Année de publication :	2016
Importance :	pp. 1-22
Langues :	Anglais (eng) Langues originales : Anglais (eng)
Catégories :	Programmation
Mots-clés :	Concurrent programming  CSP  Slicing
Résumé :	Dynamic slicing is a technique to extract the part of the program (called slice) that in- fluences or is influenced, in a particular execution, by a given point of interest in the source code (called slicing criterion). Since a single execution is considered, the technique often uses a trace of this execution to analyze data and control dependencies. In this work we present the first formulation and implementation of dynamic slicing in the context of CSP. Most of the ideas presented can be directly applied to other concurrent specification languages such as Promela or CCS, but we center the discussion and the implementation on CSP. We base our technique on a new data structure to represent CSP computations called track. A track is a data structure which represents the sequence of expressions that have been evaluated during the computation, and moreover, it is labeled with the loca- tion of these expressions in the specification. The implementation of a dynamic slicer for CSP is useful for debugging, program comprehension, and program specialization, and it is also interesting from a theoretical perspective because CSP introduces difficulties such as heavy concurrency and non-determinism, synchronizations, frequent absence of data de- pendence, etc.
En ligne :	http://www.sciencedirect.com/science/article/pii/S0167819116000363
Permalink :	http://biblio.uadb.edu.sn/pmb/opac_css/index.php?lvl=bulletin_display&id=211

[n° ou bulletin]  Volume 53 - Dynamic slicing of concurrent specification languages [document électronique] / M. Llorens, Auteur ; J Olive, Auteur ; J. Silva, Auteur . - 2016 . - pp. 1-22.
Langues : Anglais (eng) Langues originales : Anglais (eng)

Catégories :	Programmation
Mots-clés :	Concurrent programming  CSP  Slicing
Résumé :	Dynamic slicing is a technique to extract the part of the program (called slice) that in- fluences or is influenced, in a particular execution, by a given point of interest in the source code (called slicing criterion). Since a single execution is considered, the technique often uses a trace of this execution to analyze data and control dependencies. In this work we present the first formulation and implementation of dynamic slicing in the context of CSP. Most of the ideas presented can be directly applied to other concurrent specification languages such as Promela or CCS, but we center the discussion and the implementation on CSP. We base our technique on a new data structure to represent CSP computations called track. A track is a data structure which represents the sequence of expressions that have been evaluated during the computation, and moreover, it is labeled with the loca- tion of these expressions in the specification. The implementation of a dynamic slicer for CSP is useful for debugging, program comprehension, and program specialization, and it is also interesting from a theoretical perspective because CSP introduces difficulties such as heavy concurrency and non-determinism, synchronizations, frequent absence of data de- pendence, etc.
En ligne :	http://www.sciencedirect.com/science/article/pii/S0167819116000363
Permalink :	http://biblio.uadb.edu.sn/pmb/opac_css/index.php?lvl=bulletin_display&id=211