Search for tag: "precondition"

26 Media

01:08:55 SOIL Seminar: An Indexed Type System for Fast and… SOIL Seminar: An Indexed Type System for Fast and Safe WebAssembly	SOIL Seminar: An Indexed Type System for Fast and Safe WebAssembly Title: An Indexed Type System for Fast and Safe WebAssembly Speaker: Adam Geller—University of British Columbia Summary: Often in low-level languages (i.e., assembly languages), potentially… assembly function constraint checks variable instruction language values types instructions memory integer constraints division precondition functions From Ross Tate 18 plays Creation Date December 08, 2020 Creator 1 First Name Adam Creator 1 Last Name Geller Creator 1 Role Presenter Language English Searchable Yes Searchable On Cornell Web Search Public Search Engines Landing Page http://soil-initiative.org/seminar/#20201207
06:04 Lesson 25.4 The raise Statement Lesson 25.4 The raise Statement	Lesson 25.4 The raise Statement Up until now, the only way that we knew how to create an error is with an assert statement. But these always create errors with the type AssertionError. In this video we show how to create errors… error statement object range integer errors precondition thing statements assertion function air custom expression rays bug enforcement foo preconditions division From Hannah Lee 59 plays Content Categories Instructional Recordings Creation Date November 12, 2020 Creator 1 First Name Walker Creator 1 Last Name White Creator 1 Role Faculty or Staff Member Creator 1 NetID wmw2 Language English Searchable Yes Searchable On Cornell Web Search
08:19 Lesson 23.5 Mixed-Type Operators Lesson 23.5 Mixed-Type Operators	Lesson 23.5 Mixed-Type Operators Operator overloading allows us to redefine the meaning of + or * on objects of our class. But sometimes we want to mix together types like a fraction and integer. In this video we show that it is… fraction fractions times multiplication method underscore int thing helper methods star left operation precondition integer definition expression p. multiply sense From Hannah Lee 61 plays Content Categories Instructional Recordings Creation Date November 07, 2020 Creator 1 First Name Walker Creator 1 Last Name White Creator 1 Role Faculty or Staff Member Creator 1 NetID wmw2 Language English Searchable Yes Searchable On Cornell Web Search
07:37 Lesson 21.4 Invariant Enforcement Lesson 21.4 Invariant Enforcement	Lesson 21.4 Invariant Enforcement We know how to enforce preconditions, but how do we force invariants for our attributes? As we see in this video, we do it much the same as for preconditions. But that is because we are going to… preconditions methods class attributes precondition statements invariance method hour purpose object getter programmer minute initializer attribute setter problem invariants values From Hannah Lee 86 plays Content Categories Instructional Recordings Creation Date October 29, 2020 Creator 1 First Name Walker Creator 1 Last Name White Creator 1 Role Faculty or Staff Member Creator 1 NetID wmw2 Language English Searchable Yes Searchable On Cornell Web Search
09:12 Lesson 21.3 Interface Implementation Lesson 21.3 Interface Implementation	Lesson 21.3 Interface Implementation Once you have the interface to a class, it is time to start writing code. As we see in this video, the idea is much the same as writing functions. However, attributes – and specifically… class minutes method invariant hours object attributes specification invariance preconditions function parameter hour invariants methods percent initializer attribute precondition responsibility From Hannah Lee 77 plays Content Categories Instructional Recordings Creation Date October 29, 2020 Creator 1 First Name Walker Creator 1 Last Name White Creator 1 Role Faculty or Staff Member Creator 1 NetID wmw2 Language English Searchable Yes Searchable On Cornell Web Search
07:47 Lesson 20.5 Method Definitions Lesson 20.5 Method Definitions	Lesson 20.5 Method Definitions In addition to attributes, objects also have methods. In this video, we show how to add a method definition to a class. For the most part, it is as simple as indenting a function definition inside of… method object distance definition class parentheses function point period precondition parameter specification arguments argument difference parameters python error thing header From Hannah Lee 89 plays Content Categories Instructional Recordings Creation Date October 27, 2020 Creator 1 First Name Walker Creator 1 Last Name White Creator 1 Role Faculty or Staff Member Creator 1 NetID wmw2 Language English Searchable Yes Searchable On Cornell Web Search
10:26 Lesson 17.5 Divide and Conquer Design Lesson 17.5 Divide and Conquer Design	Lesson 17.5 Divide and Conquer Design Now that we understand divide-and-conquer, it is type to implement it in Python. In this video we show you a three-step sequence for writing a function definition using this technique. string recursion space 0s function thing answer divide plan character precondition specification parts letter steps spaces alright problem e. question From Hannah Lee 94 plays Content Categories Instructional Recordings Creation Date October 19, 2020 Creator 1 First Name Walker Creator 1 Last Name White Creator 1 Role Faculty or Staff Member Creator 1 NetID wmw2 Language English Searchable Yes Searchable On Cornell Web Search
05:58 Lesson 14.4 Try-Except and Testing Lesson 14.4 Try-Except and Testing	Lesson 14.4 Try-Except and Testing We have a new control structure, so it is time once again to talk about testing. In this video we revisit the concept of code coverage and show testing a try-except is very similar to testing a… function test slash string precondition float cases branches frack statement problem division answer integer possibilities specification fraction works mind script From Hannah Lee 48 plays Content Categories Instructional Recordings Creation Date October 10, 2020 Creator 1 First Name Walker Creator 1 Last Name White Creator 1 Role Faculty or Staff Member Creator 1 NetID wmw2 Language English Searchable Yes Searchable On Cornell Web Search
08:24 Lesson 13.6 Assert Helpers Lesson 13.6 Assert Helpers	Lesson 13.6 Assert Helpers Sometimes we absolutely need to enforce all of our preconditions, and we cannot live with the compromises of the previous video. In this video we show how to use top-down design to give us more… space function spaces string words precondition preconditions currency helper middle word format statement thing exchange asserts stuff character end beginning From Hannah Lee 48 plays Content Categories Instructional Recordings Creation Date October 10, 2020 Creator 1 First Name Walker Creator 1 Last Name White Creator 1 Role Faculty or Staff Member Creator 1 NetID wmw2 Language English Searchable Yes Searchable On Cornell Web Search
03:45 Lesson 13.5 Assert Trade-Offs Lesson 13.5 Assert Trade-Offs	Lesson 13.5 Assert Trade-Offs Preconditions can get really complicated, and sometimes it is unclear how to enforce all of the preconditions. In this video we talk about why it is okay to break up a precondition and… precondition statement statements spaces problem space string violation beginning specification end webserver currency developer skill things challenge bit offs trade From Hannah Lee 42 plays Content Categories Instructional Recordings Creation Date October 10, 2020 Creator 1 First Name Walker Creator 1 Last Name White Creator 1 Role Faculty or Staff Member Creator 1 NetID wmw2 Language English Searchable Yes Searchable On Cornell Web Search
09:54 Lesson 13.4 Assert Messages Lesson 13.4 Assert Messages	Lesson 13.4 Assert Messages We now know how to do assert statements to create errors. But the error messages are a little cryptic. In this video we talk about how we can do a better job. string error precondition space spaces messages violation function statements quotes var parameter idea wrapper repre object objects thing strings statement From Hannah Lee 48 plays Content Categories Instructional Recordings Creation Date October 10, 2020 Creator 1 First Name Walker Creator 1 Last Name White Creator 1 Role Faculty or Staff Member Creator 1 NetID wmw2 Language English Searchable Yes Searchable On Cornell Web Search
08:50 Lesson 13.3 Assert Statements Lesson 13.3 Assert Statements	Lesson 13.3 Assert Statements Determining responsibility can get really tedious. In this video, we show how we can responsibility explicit by creating errors on purpose. We introduce the assert statement, which will allow us to… function precondition error space call behavior problem statement expression stack violation module string test command numbers functions definition change fault From Hannah Lee 61 plays Content Categories Instructional Recordings Creation Date October 10, 2020 Creator 1 First Name Walker Creator 1 Last Name White Creator 1 Role Faculty or Staff Member Creator 1 NetID wmw2 Language English Searchable Yes Searchable On Cornell Web Search
05:52 Lesson 13.2 Error Responsibility Lesson 13.2 Error Responsibility	Lesson 13.2 Error Responsibility When we introduced specifications, we talked about responsibility; if there is a problem with a function, it is either the fault of the definer or the caller. In this video, we show how we read an… function error call problem specification script numbers y. arguments fact change precondition bottom condition pre stack difference zeros messages responsibility From Hannah Lee 45 plays Content Categories Instructional Recordings Creation Date October 10, 2020 Creator 1 First Name Walker Creator 1 Last Name White Creator 1 Role Faculty or Staff Member Creator 1 NetID wmw2 Language English Searchable Yes Searchable On Cornell Web Search
51:41 Zoom Sep. 29. Algorithm Design Zoom Sep. 29. Algorithm Design	Zoom Sep. 29. Algorithm Design In this session we do a deep dive in how we might design a series of functions to acomplish a single task.This class will be highly interactive. We will start with a specification – one more… hours test minutes assignment function size tests cases precondition lab thing thursday suffix question reason alright examples things rule class From Hannah Lee 23 plays Content Categories Instructional Recordings Creation Date October 01, 2020 Creator 1 First Name Walker Creator 1 Last Name White Creator 1 Role Faculty or Staff Member Creator 1 NetID wmw2 Language English Searchable Yes Searchable On Cornell Web Search
06:45 Lesson 10.6 Top-Down Design Lesson 10.6 Top-Down Design	Lesson 10.6 Top-Down Design Top-down design is a widely–used design technique. Your instructor used it to design the first assignment, and you will use it yourself in later assignments. In this video we take a closer look… size function word cases test numbers portion tens digits angler functions script statements glue remainder thousands precondition helper helpers rest From Hannah Lee 56 plays Content Categories Instructional Recordings Creation Date October 01, 2020 Creator 1 First Name Walker Creator 1 Last Name White Creator 1 Role Faculty or Staff Member Creator 1 NetID wmw2 Language English Searchable Yes Searchable On Cornell Web Search
56:23 Zoom Sep. 22. Specifications and Testing Zoom Sep. 22. Specifications and Testing	Zoom Sep. 22. Specifications and Testing Both specifications and testing are critical for the first assignment. But many students struggle with them because they are so “fuzzy”.To help you improve your skills here, we have are… specification assignment test examples things question cases function class lot thing problem precondition parentheses quotes vowels tests specifications reason testing From Hannah Lee 23 plays Content Categories Instructional Recordings Creation Date September 23, 2020 Creator 1 First Name Walker Creator 1 Last Name White Creator 1 Role Faculty or Staff Member Creator 1 NetID wmw2 Language English Searchable Yes Searchable On Cornell Web Search