scientific article
From MaRDI portal
Publication:4038674
zbMath0765.68146MaRDI QIDQ4038674
Jens Knoop, Bernhard Steffen, Oliver Rüthing
Publication date: 18 May 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (6)
Data flow analysis as model checking ⋮ Generative program analysis and beyond: the power of domain-specific languages (invited paper) ⋮ Detection of redundant expressions: a precise, efficient, and pragmatic algorithm in SSA ⋮ Inter-procedural Two-Variable Herbrand Equalities ⋮ Upper Adjoints for Fast Inter-procedural Variable Equalities ⋮ Quality Engineering: Leveraging Heterogeneous Information
This page was built for publication:
