scientific article; zbMATH DE number 177796

MaRDI QIDQ4038674zbMATH OpenFDO

Authors Bernhard Steffen, Jens Knoop, Oliver Rüthing

Publication date 18 May 1993

zbMATH Keywords

Herbrand interpretationpartial redundancy eliminationsemantic equivalencesyntactic term identity

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1236362
• Realization of optimizing transformations of programs with the help of a structural predicative grammar
• scientific article; zbMATH DE number 3874581
• scientific article; zbMATH DE number 3907743
• scientific article; zbMATH DE number 3876561

Cited in

(6)

• 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)
• Quality engineering: leveraging heterogeneous information (invited talk)
• scientific article; zbMATH DE number 17826 (Why is no real title available?)
• Data flow analysis as model checking
• Upper Adjoints for Fast Inter-procedural Variable Equalities

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 Q4038674)