Categorical Models of Syntactic Control of Intereference Revisited, Revisited (Q3091944)

From MaRDI portal





scientific article
Language Label Description Also known as
English
Categorical Models of Syntactic Control of Intereference Revisited, Revisited
scientific article

    Statements

    Categorical Models of Syntactic Control of Intereference Revisited, Revisited (English)
    0 references
    0 references
    15 September 2011
    0 references
    imperative programming
    0 references
    interference
    0 references
    syntactic control of interference revisited (SCIR)
    0 references
    bireflective model
    0 references
    reflection and coreflection
    0 references

    Identifiers