Information-flow and data-flow analysis of while-programs
From MaRDI portal
Publication:5184379
DOI10.1145/2363.2366zbMath0559.68014MaRDI 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
debugging; data flow; software maintenance; while-programs; information-flow analysis; analysis of programs; automatic error detection
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
On detecting environment sensitivity using slicing, A demonstrably correct compiler, An integrated approach to high integrity software verification, Dynamic program slicing, A theory for execution-time derivation in real-time programs, From Exponential to Polynomial-Time Security Typing via Principal Types