Error loading media: File could not be played
 
00:0000:0000:00
00:00
00:57:53
Vedran Čačić: Calculus of inductive constructions (4)
Sažetak: U četvrtom dijelu, pokazat ćemo jednostavni kompajler (stabala aritmetičkih izraza u jezik nekog virtualnog stroja sa stogom) i dokazati njegovu korektnost. Za drugi, mnogo kompliciraniji primjer, implementirat ćemo potpunu optimizaciju nulâ i jedinicâ iz tih stabala, i dokazati korektnost te optimizacije.
Objavljeno: 04.06.2020
Unutar kategorije: Obrazovanje