Učitavanje video playera...
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
VoD paketi:
LORA, Matematička logika i računarstvo 2019-20
