Lazy behavioral subtyping (Q710675)

From MaRDI portal
Revision as of 01:02, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
scientific article
Language Label Description Also known as
English
Lazy behavioral subtyping
scientific article

    Statements

    Lazy behavioral subtyping (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    22 October 2010
    0 references
    object orientation
    0 references
    inheritance
    0 references
    code reuse
    0 references
    late binding
    0 references
    proof systems
    0 references
    method redefinition
    0 references
    incremental reasoning
    0 references
    behavioral subtyping
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers