\(\text{MiniMAO}_1\): an imperative core language for studying aspect-oriented reasoning (Q856924)

From MaRDI portal
scientific article
Language Label Description Also known as
English
\(\text{MiniMAO}_1\): an imperative core language for studying aspect-oriented reasoning
scientific article

    Statements

    \(\text{MiniMAO}_1\): an imperative core language for studying aspect-oriented reasoning (English)
    0 references
    0 references
    0 references
    14 December 2006
    0 references
    aspect-oriented programming
    0 references
    MiniMAO calculus
    0 references
    formal semantics
    0 references

    Identifiers