Get the latest tech news

Sequential Search, Correctly

Sequential Search This is the second blog post in a series about developing correct implementations of basic data structures and algorithm...

This is the second blog post in a series about developing correct implementations of basic data structures and algorithms using the Deduce language and proof checker. In this blog post we’ll study a classic and simple algorithm known as Sequential Search (aka. Most importantly, we should test whether search finds the correct index of the elements in the list.

Get the Android app