Modular and automated type-soundness verification for language extensions (Q5244815)

From MaRDI portal
scientific article; zbMATH DE number 6421051
Language Label Description Also known as
English
Modular and automated type-soundness verification for language extensions
scientific article; zbMATH DE number 6421051

    Statements

    Modular and automated type-soundness verification for language extensions (English)
    0 references
    0 references
    0 references
    30 March 2015
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    automatic verification
    0 references
    language extensibility
    0 references
    macros
    0 references
    metaprogramming
    0 references
    SugarJ
    0 references
    type soundness
    0 references
    0 references