tg-me.com/hashdev/403
Create:
Last Update:
Last Update:
Семантика языков программирования
1. Семантика и её значение
2. Введение в Coq
3. Семантика большого шага для императивного языка
4. Множественные цели в Coq. Д-во корректности Constant Folding
5. Coq. Разбор д-ва терминируемости алгоритма Евклида
6. Семантика малого шага, логика Хоара
7. Coq. Семантика малого шага, логика Хоара
8. Введение в слабые модели памяти
9. Декларативные модели памяти (1/2)
10. Декларативные модели памяти (2/2)
#video
https://www.youtube.com/watch?v=sEiTqZmqY08&list=PLlb7e2G7aSpTA0aT2M1CvIWof3Osslo7Z
BY Frontend Hash
Share with your friend now:
tg-me.com/hashdev/403