Static slicing of explicitly synchronized languages

DOI10.1016/J.IC.2012.02.005zbMATH Open1253.68246DBLPjournals/iandc/LeuschelLOST12OpenAlexW2142094035WikidataQ57689963 ScholiaQ57689963MaRDI QIDQ418185FDOQ418185

Authors: Michael Leuschel, Marisa Llorens, J. Oliver, Josep Silva, Salvador Tamarit 

Publication date: 24 May 2012

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2012.02.005

Recommendations

• The MEB and CEB Static Analysis for CSP Specifications
• Process-local static analysis of synchronous processes
• Static and dynamic slicing of constraint logic programs
• scientific article; zbMATH DE number 2104628
• Dynamic slicing techniques for Petri nets

zbMATH Keywords

CSPconcurrent programmingprogram slicing

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• A calculus of mobile processes. II
• On the expressive power of CSP refinement
• Program Slicing
• The MEB and CEB Static Analysis for CSP Specifications
• The program dependence graph and its use in optimization
• Title not available (Why is that?)
• Title not available (Why is that?)
• FM 2005: Formal Methods

Cited In (2)

• Tracking CSP computations
• The MEB and CEB Static Analysis for CSP Specifications

Uses Software

• LOTOS
• ProB
• PROMELA

This page was built for publication: Static slicing of explicitly synchronized languages

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q418185)