|
Title: An Indexed Type System for Fast and Safe…
|
|
Up until now, the only way that we knew how to…
|
|
Operator overloading allows us to redefine the…
|
|
We know how to enforce preconditions, but how do…
|
|
Once you have the interface to a class, it is…
|
|
In addition to attributes, objects also have…
|
|
Now that we understand divide-and-conquer, it is…
|
|
We have a new control structure, so it is time…
|
|
Sometimes we absolutely need to enforce all of…
|
|
Preconditions can get really complicated, and…
|
|
We now know how to do assert statements to create…
|
|
Determining responsibility can get really…
|
|
When we introduced specifications, we talked…
|
|
In this session we do a deep dive in how we might…
|
|
Top-down design is a widely–used design…
|
|
Both specifications and testing are critical for…
|