The Complete Guide to Virtual Method Tables (Vtables) and Dynamic Dispatch A systems programmer's guide to C++ and Java polymorphism — covering static/dynamic binding, polymorphic memory layouts, assembly dereferences, mu…
Why the Liskov Substitution Principle Works the Way It Does A rigorous software design guide to the Liskov Substitution Principle (LSP) — covering behavioral subtyping, design-by-contract invariants, preconditions/postconditi…
The Complete Guide to Static and Dynamic Binding in OOP A mathematically and architecturally rigorous guide to static and dynamic binding — covering early vs late binding, compile-time method overloading, runtime method overr…