Publication:4038674
From MaRDI portal
zbMath0765.68146MaRDI QIDQ4038674
Jens Knoop, Bernhard Steffen, Oliver Rüthing
Publication date: 18 May 1993
semantic equivalence; partial redundancy elimination; Herbrand interpretation; syntactic term identity
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Data flow analysis as model checking, Upper Adjoints for Fast Inter-procedural Variable Equalities, Detection of redundant expressions: a precise, efficient, and pragmatic algorithm in SSA, Generative program analysis and beyond: the power of domain-specific languages (invited paper), Inter-procedural Two-Variable Herbrand Equalities, Quality Engineering: Leveraging Heterogeneous Information