She Invented That A digital museum of women in science
← Discovery archive

Discovery Exhibit

Behavioural subtyping

1 scientist

Principles formalized in the Liskov substitution principle for reasoning about subtype correctness.

The Breakthrough

Why this discovery matters

Principles formalized in the Liskov substitution principle for reasoning about subtype correctness.

Continue Exploring

Related Discoveries

Discovery

ARM processor architecture

Co-design of the original ARM processor architecture, which became one of the world's most widely used instruction-set …

View discovery → Discovery

Artemisinin and dihydroartemisinin for malaria

Discovery and development of artemisinin-based antimalarial treatments.

View discovery → Discovery

BBC Micro

Co-design of the BBC Micro computer, influential in British computing education.

View discovery →