Search for tag: "precondition"

SOIL Seminar: An Indexed Type System for Fast and Safe WebAssembly

Title: An Indexed Type System for Fast and Safe…

+15 More
From  Ross Tate 22 plays

Lesson 25.4 The raise Statement

Up until now, the only way that we knew how to…

+19 More
From  Hannah Lee 71 plays

Lesson 23.5 Mixed-Type Operators

Operator overloading allows us to redefine the…

+19 More
From  Hannah Lee 77 plays

Lesson 21.4 Invariant Enforcement

We know how to enforce preconditions, but how do…

From  Hannah Lee 115 plays

Lesson 21.3 Interface Implementation

Once you have the interface to a class, it is…

+19 More
From  Hannah Lee 100 plays

Lesson 20.5 Method Definitions

In addition to attributes, objects also have…

+19 More
From  Hannah Lee 122 plays

Lesson 17.5 Divide and Conquer Design

Now that we understand divide-and-conquer, it is…

+19 More
From  Hannah Lee 127 plays

Lesson 14.4 Try-Except and Testing

We have a new control structure, so it is time…

+19 More
From  Hannah Lee 66 plays

Lesson 13.6 Assert Helpers

Sometimes we absolutely need to enforce all of…

+19 More
From  Hannah Lee 77 plays

Lesson 13.5 Assert Trade-Offs

Preconditions can get really complicated, and…

+19 More
From  Hannah Lee 61 plays

Lesson 13.4 Assert Messages

We now know how to do assert statements to create…

+19 More
From  Hannah Lee 71 plays

Lesson 13.3 Assert Statements

Determining responsibility can get really…

+19 More
From  Hannah Lee 84 plays

Lesson 13.2 Error Responsibility

When we introduced specifications, we talked…

+19 More
From  Hannah Lee 67 plays

Zoom Sep. 29. Algorithm Design

In this session we do a deep dive in how we might…

+19 More
From  Hannah Lee 33 plays

Lesson 10.6 Top-Down Design

Top-down design is a widely–used design…

+19 More
From  Hannah Lee 95 plays

Zoom Sep. 22. Specifications and Testing

Both specifications and testing are critical for…

From  Hannah Lee 29 plays