With Jeannette Wing, she developed a particular definition of subtyping, commonly known as the Liskov substitution principle.
Με την Jeannette Wing, ανέπτυξε ένα συγκεκριμένο ορισμό για τον προσδιορισμό του subtyping, κοινώς γνωστό ως Αρχή της Υποκατάστασης της Liskov.