With Jeannette Wing, she developed a particular definition of subtyping, commonly known as the Liskov substitution principle.
Tillsammans med Jeannette Wing har hon utvecklat en särskild definition av subtyping, allmänt känd som Liskovs substitutionsprincip.