4. Множественные цели в Coq. Д-во корректности Constant Folding
Лекция №4 курса «Семантика языков программирования» (весна 2022).
Преподаватель — Антон Подкопаев
Страница лекции на сайте CS центра:
2 hours ago 00:18:33 1
16 hours ago 00:01:54 1
21 hour ago 07:57:31 1
3 days ago 00:00:00 1
3 days ago 00:03:03 1
5 days ago 00:00:00 1
5 days ago 00:06:27 1
7 days ago 02:02:52 1
1 week ago 00:00:00 1
1 week ago 00:00:00 1
2 weeks ago 00:16:02 1
2 weeks ago 00:00:00 1
2 weeks ago 00:05:57 1
2 weeks ago 00:18:40 1
2 weeks ago 00:19:58 1
2 weeks ago 00:04:34 1
2 weeks ago 00:00:00 1
2 weeks ago 00:33:02 1
2 weeks ago 00:57:33 1
2 weeks ago 00:08:58 1
2 weeks ago 00:00:00 1
3 weeks ago 00:37:56 1
3 weeks ago 00:00:00 1
3 weeks ago 00:16:01 1
