Information-flow and data-flow analysis of while-programs
From MaRDI portal
Publication:5184379
DOI10.1145/2363.2366zbMath0559.68014OpenAlexW1980767016MaRDI QIDQ5184379
Jean-François Bergeretti, Bernard A. Carré
Publication date: 1985
Published in: ACM Transactions on Programming Languages and Systems (Search for Journal in Brave)
Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.135.6347
debuggingdata flowsoftware maintenancewhile-programsinformation-flow analysisanalysis of programsautomatic error detection
Related Items (6)
Dynamic program slicing ⋮ On detecting environment sensitivity using slicing ⋮ An integrated approach to high integrity software verification ⋮ From Exponential to Polynomial-Time Security Typing via Principal Types ⋮ A demonstrably correct compiler ⋮ A theory for execution-time derivation in real-time programs
This page was built for publication: Information-flow and data-flow analysis of while-programs