Verification of Common Interprocedural Compiler Optimizations Using Visibly Pushdown Kleene Algebra (Q3067464)

From MaRDI portal





scientific article
Language Label Description Also known as
English
Verification of Common Interprocedural Compiler Optimizations Using Visibly Pushdown Kleene Algebra
scientific article

    Statements

    Identifiers