SWE 619 Quiz Guide 6
Fall 2023
Type abstraction is the focus of Quiz 6. You should understand how to apply Liskov's "methods rule" to specifications for overridden methods. The in-class exercises are good practice for this.