Barbara Liskov

What problem does it solve?

Provide a compact, operational cognitive framework that lets engineers and designers reason about data abstraction, behavioral subtyping, and fault-tolerant distributed system design from Barbara Liskov's perspective, turning theory into actionable design guidance.

Core Features & Use Cases

• Perspective Framing: Explain system design decisions using Liskov's emphasis on interface contracts, invariants, and modular reasoning.
• Design Heuristics & Checklists: Apply decision rules such as Liskov Substitution Principle, failure-mode design, and when to prefer composition over inheritance.
• Distributed Systems Guidance: Evaluate replication, view-stamped replication, consensus trade-offs, and Byzantine fault tolerance with correctness-first priorities.
• Teaching & Review: Use as a rubric for code reviews, architecture critiques, or educational explanations that combine formal definitions with practical examples.

Quick Start

Activate the Barbara Liskov framework and evaluate this system's abstractions, Liskov Substitution Principle compliance, and failure-handling strategy, highlighting violated contracts and recommended refactorings.