4. Множественные цели в Coq. Д-во корректности Constant Folding
Лекция №4 курса «Семантика языков программирования» (весна 2022).
Преподаватель — Антон Подкопаев
Страница лекции на сайте CS центра:
1 month ago 00:09:46 1
2 months ago 00:00:00 1
2 months ago 00:24:59 1
2 months ago 01:34:49 1
2 months ago 00:00:00 1
2 months ago 00:10:39 1
2 months ago 00:00:00 1
2 months ago 07:57:31 1
2 months ago 00:36:52 1
2 months ago 00:56:42 1
2 months ago 00:00:00 1
2 months ago 00:00:00 1
2 months ago 00:00:00 1
2 months ago 00:15:46 1
2 months ago 00:00:00 1
2 months ago 00:07:07 1
2 months ago 01:26:27 1
2 months ago 00:03:18 1
2 months ago 00:00:00 1
2 months ago 00:16:17 1
2 months ago 00:05:01 1
2 months ago 00:06:13 1
2 months ago 00:00:00 1
2 months ago 00:38:25 1
