Search for tag: "destructor"

cos326-2020-13-02-rep-inv-set duration 13 minutes 10 seconds cos326-2020-13-02-rep-inv-set cos326-2020-13-02-rep-inv-set	cos326-2020-13-02-rep-inv-set Reasoning About Modular Programs: Part 2: Proving Representation Invariants cos326 +20 More From Daniel Macleod 0 likes 212 plays Date August 16th, 2020 Speaker David Walker Department COS Location Princeton NJ

duration 13 minutes 10 seconds

cos326-2020-13-02-rep-inv-set

Reasoning About Modular Programs: Part 2: Proving Representation Invariants

+20 More

From Daniel Macleod 0 likes 212 plays

Date

August 16th, 2020

Speaker

David Walker

Department

COS

Location

Princeton NJ