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

Srodni zapisi

  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10