Search for tag: "abstraction"

Thumbnail for entry Cos326-13-04-module-equivalence

30:15

Cos326-13-04-module-equivalence

Cos326-13-04-module-equivalence

Cos326-13-04-module-equivalence

Proving the Equivalence of Two Modules

cos326
m1
values
implementation
m2
v2
module
dot
implementations
function
signature
modules
relation
representation
v1
abstraction
relationship
operation
operations
reveal
client
From  Daniel Macleod 0 likes 218 plays
Date
November 3rd, 2020
Speaker
David Walker
Department
COS
Location
Princeton NJ