An alternative characterization of weak order dependence

DOI10.1016/j.ipl.2010.07.023zbMath1379.68091OpenAlexW2022882436WikidataQ59609535 ScholiaQ59609535MaRDI QIDQ1675759

Kelly Androutsopoulos, Mark Harman, Torben Amtoft, David Clark, Zheng Li

Publication date: 3 November 2017

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ipl.2010.07.023

zbMATH Keywords

programming languagescontrol dependence

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• Chianti

Cites Work

• Slicing for modern program structures: a theory for eliminating irrelevant loops
• Computing ripple effect for software maintenance
• Program Slicing
• The program dependence graph and its use in optimization
• Certification of programs for secure information flow
• Semantics-preserving procedure extraction

This page was built for publication: An alternative characterization of weak order dependence