החלפה הוא עקרון תכנות מונחה עצמים לפיו, בתוכנת מחשב, אם S הוא תת⁻טיפוס של T, אז אובייקטים מטיפוס T עשויים להיות מוחלפים עם אובייקטים מטיפוס S מבלי לשנות את ההתנהגות של T (נכונות, ביצוע משימות, ועוד).  עקרון ההחלפה של ליסקוב הוא הגדרה מסוימת של קשר בין טיפוסים לתת⁻טיפוסים שנקרא strong) behavioral subtyping) שהוצג לראשונה ב⁻1987 על ידי ברברה ליסקוב, וב⁻1994 יחד עם ג'נט מ. וינג היא ניסחה את העיקרון בתמציתיות על דף נייר כדלקמן:

תהי ''(f(x'' תכונה שניתן להוכיח את נכונותה עבור אובייקטים ''x'' מטיפוס ''T'', ויהי ''S'' תת⁻טיפוס של ''T'', אזי ''(f(y'' צריכה להיות נכונה עבור אובייקטים ''y'' מסוג ''S''.

מתוך ויקיפדיה

עקרון ההחלפה היא סדרת טלוויזיה ישראלית מסוגת דרמת מתח של חברת התקשורת HOT, אשר עלתה לשידור ב⁻8 בספטמבר 2016 בערוץ HOT3. יוצרי הסדרה הם נח סטולמן ועודד דוידוף, ומככב בה ליאור אשכנזי. הסדרה עוקבת אחרי יהודה אטלס, חסר בית קשה יום שחי מהיד לפה ברחובות תל אביב. בעברו, הוא היה חוקר מז"פ. יום אחד הוא נשאב בניגוד לרצונו בחזרה לחייו הישנים, בעקבות התאבדותו של אסיר עולם שהוא הביא להרשעתו. מתוך ויקיפדיה

עקרון הבחירה המוגבלת, עקרון הבינוניות, עקרון הגילוי המלא, עקרון הגילוי המלא (הנאות), עקרון הגילוי הנאות, עקרון ההחלפה של ליסקוב, עקרון ההכבדה, עקרון ההכלה וההדחה, עקרון ההכלה וההפרדה, עקרון ההכרה ההדדית