Incremental reasoning with lazy behavioral subtyping for multiple inheritance
Keywords: وراثت چندگانه; Lazy behavioral subtyping; Object orientation; Multiple inheritance; Late binding; Proof systems; Code reuse; Method redefinition; Incremental reasoning