scientific article

zbMATH Open0548.68012MaRDI QIDQ3340120

Gerhard Barth

Publication date: 1984

Title of this publication is not available (Why is that?)

zbMATH Keywords

program analysisdata flow analysis

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (4)

From Verification to Optimizations ⋮ Transforming flow information during code optimization for timing analysis ⋮ The Qualified Function Approach to Analysis of Program Behavior and Performance ⋮ Analysis of program optimization possibilities and further development

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3340120)