RANDOMBLOGShttps://devblogy.k47.cz/random/tag/siek-blogspot-com.html Take-aways from using Deduce in the classroomhttps://siek.blogspot.com/2024/10/take-aways-from-using-deduce-in.htmlWed, 9 Oct 2024 20:58:11 +0200siek.blogspot.com Binary Search Trees, Correctly!https://siek.blogspot.com/2024/08/binary-search-trees-correctly.htmlSun, 11 Aug 2024 19:04:24 +0200siek.blogspot.com Binary Trees with In-order Iterators (Part 2)https://siek.blogspot.com/2024/07/binary-trees-with-in-order-iterators_20.htmlSat, 20 Jul 2024 21:02:19 +0200siek.blogspot.com Binary Trees with In-order Iterators (Part 1)https://siek.blogspot.com/2024/07/binary-trees-with-in-order-iterators.htmlThu, 18 Jul 2024 21:07:23 +0200siek.blogspot.com Merge Sort with Leftovers, Correctlyhttps://siek.blogspot.com/2024/06/merge-sort-with-leftovers-correctly.htmlSun, 30 Jun 2024 14:45:06 +0200siek.blogspot.com Sequential Search, Correctlyhttps://siek.blogspot.com/2024/06/sequential-search-correctly.htmlTue, 18 Jun 2024 14:18:49 +0200siek.blogspot.com Data Structures and Algorithms, Correctlyhttps://siek.blogspot.com/2024/06/data-structures-and-algorithms-correctly.htmlMon, 17 Jun 2024 19:08:37 +0200siek.blogspot.com Insertion Sort, Correctlyhttps://siek.blogspot.com/2024/06/insertion-sort-correctly.htmlMon, 17 Jun 2024 19:04:30 +0200siek.blogspot.com Help! We're Failing to Prove Correctness of Closure Conversion using Denotational Semantics (Graph Models)https://siek.blogspot.com/2023/06/help-were-failing-to-prove-correctness.htmlThu, 8 Jun 2023 15:30:48 +0200siek.blogspot.com Gradual Guarantee via Step-indexed Logical Relationshttps://siek.blogspot.com/2023/05/gradual-guarantee-via-step-indexed.htmlWed, 17 May 2023 14:41:23 +0200siek.blogspot.com