Search for tag: "implementation"

5 Media

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 on November 3rd, 2020 0 likes 209 plays Date November 3rd, 2020 Speaker David Walker Department COS Location Princeton NJ
35:20 RFP20-073_05Oct20 RFP20-073_05Oct20	RFP20-073_05Oct20 rfp solution attachment questions proposal implementation 12th question personnel procurement factors requirements attachments response supplier document jackie documents bid implementer captions_11_4_2020 From PPPL Admins on October 7th, 2020 0 likes 42 plays
12:35 cos326-2020-13-01-representation-invariants cos326-2020-13-01-representation-invariants	cos326-2020-13-01-representation-invariants Reasoning about Modular Programs: Part 1: Representation Invariants cos326 invariant module representation invariance size values operation tree client duplicates outputs function elements functions sets argument implementation lists methods keys From Daniel Macleod on August 16th, 2020 0 likes 195 plays Date August 16th, 2020 Speaker David Walker Department COS Location Princeton NJ
08:38 cos326-2020-12-02-module-choices cos326-2020-12-02-module-choices	cos326-2020-12-02-module-choices Ocaml Modules: Part 2: Design Choices stack pop interface argument error bug problem kind kinds programs exception option choice interfaces exceptions ocaml color client implementation air From Daniel Macleod on August 16th, 2020 0 likes 146 plays Date August 16th, 2020 Speaker David Walker Department COS Location Princeton NJ
35:08 cos326-2020-12-01-simple-modules cos326-2020-12-01-simple-modules	cos326-2020-12-01-simple-modules Ocamls Modules: Part 1: Simple Structures cos326 module signature implementation stack modules types operations structure query dot values clients structures client files lists interface components ocaml signatures From Daniel Macleod on August 16th, 2020 0 likes 184 plays Date August 16th, 2020 Speaker David Walker Department COS Location Princeton NJ