Static slicing of explicitly synchronized languages

DOI10.1016/J.IC.2012.02.005MaRDI QIDQ418185zbMATH OpenOpenAlexDBLPWikidataFDO

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

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)

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

Cites work

• scientific article; zbMATH DE number 1069490 (Why is no real title available?)
• scientific article; zbMATH DE number 795666 (Why is no real title available?)
• A calculus of mobile processes. II
• FM 2005: Formal Methods
• 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

Cited in

(2)

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

Describes a project that uses

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)