This video is supported by translatebox.io
Further reading:
www.springer.com/de/book/9783...
en.wikipedia.org/wiki/Termina...
en.wikipedia.org/wiki/Total_f...
Timestamps:
00:00 - Intro
01:06 - Non-Termination and Undefinedness
03:07 - What is Termination?
05:54 - Definition for Termination Proofs
07:09 - Factorial Proof
10:04 - Second Proof
12:36 - Precondition Correctness
14:37 - Final Thoughts
Негізгі бет Ғылым және технология Haskell for Imperative Programmers #40 - Termination Proofs
Пікірлер: 10