scientific article

zbMath0587.68007MaRDI QIDQ3713564

Flemming Nielson

Publication date: 1986

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

tensor productdomain theoryabstract interpretationdata flow analysisrelational methodindependent attribute method

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items

Strictness analysis and denotational abstract interpretation, Refining and compressing abstract domains, Two-level semantics and abstract interpretation, The powerset operator on abstract interpretations, Transforming semantics by abstract interpretation, The reduced relative power operation on abstract domains, Semantics-directed program analysis: A tool-maker's perspective