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