object-oriented-programming

本文探讨了里氏替换原则超越其常见解释的内涵，强调其基于子类型的形式化基础，涉及前置条件、后置条件、不变量和历史属性，并引用了原始研究论文。