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 72 plays

Lesson 23.5 Mixed-Type Operators

Operator overloading allows us to redefine the…

+19 More
From  Hannah Lee 78 plays

Lesson 21.4 Invariant Enforcement

We know how to enforce preconditions, but how do…

From  Hannah Lee 116 plays

Lesson 21.3 Interface Implementation

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

+19 More
From  Hannah Lee 101 plays

Lesson 20.5 Method Definitions

In addition to attributes, objects also have…

+19 More
From  Hannah Lee 125 plays

Lesson 17.5 Divide and Conquer Design

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

+19 More
From  Hannah Lee 129 plays

Lesson 14.4 Try-Except and Testing

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

+19 More
From  Hannah Lee 68 plays

Lesson 13.6 Assert Helpers

Sometimes we absolutely need to enforce all of…

+19 More
From  Hannah Lee 79 plays

Lesson 13.5 Assert Trade-Offs

Preconditions can get really complicated, and…

+19 More
From  Hannah Lee 65 plays

Lesson 13.4 Assert Messages

We now know how to do assert statements to create…

+19 More
From  Hannah Lee 74 plays

Lesson 13.3 Assert Statements

Determining responsibility can get really…

+19 More
From  Hannah Lee 89 plays

Lesson 13.2 Error Responsibility

When we introduced specifications, we talked…

+19 More
From  Hannah Lee 70 plays

Zoom Sep. 29. Algorithm Design

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

+19 More
From  Hannah Lee 34 plays

Lesson 10.6 Top-Down Design

Top-down design is a widely–used design…

+19 More
From  Hannah Lee 98 plays

Zoom Sep. 22. Specifications and Testing

Both specifications and testing are critical for…

From  Hannah Lee 30 plays