Publication:3341865
From MaRDI portal
zbMath0549.68007MaRDI QIDQ3341865
Karl J. Ottenstein, Jeanne Ferrante, Joe Warren
Publication date: 1984
68Q60: Specification and verification (program logics, model checking, etc.)
68N25: Theory of operating systems
Related Items
An optimal algorithm for the construction of the system dependence graph, Upper bound computation of information leakages for unbounded recursion, Efficient comparison of program slices, Properties of data flow frameworks: A unified model, Slicing for architectural analysis, Combining preprocessor slicing with C/C++ language slicing, A novel formal approach to program slicing