Passa ai contenuti principali

Barbara Liskov

Se q(x) è una proprietà che si può dimostrare essere valida per oggetti x di tipo T, allora q(y) deve essere valida per oggetti y di tipo S dove S è un sottotipo di T.

Post popolari in questo blog