1. Семантика и её значение 2. Введение в Coq 3. Семантика большого шага для императивного языка 4. Множественные цели в Coq. Д-во корректности Constant Folding 5. Coq. Разбор д-ва терминируемости алгоритма Евклида 6. Семантика малого шага, логика Хоара 7. Coq. Семантика малого шага, логика Хоара 8. Введение в слабые модели памяти 9. Декларативные модели памяти (1/2) 10. Декларативные модели памяти (2/2)
1. Семантика и её значение 2. Введение в Coq 3. Семантика большого шага для императивного языка 4. Множественные цели в Coq. Д-во корректности Constant Folding 5. Coq. Разбор д-ва терминируемости алгоритма Евклида 6. Семантика малого шага, логика Хоара 7. Coq. Семантика малого шага, логика Хоара 8. Введение в слабые модели памяти 9. Декларативные модели памяти (1/2) 10. Декларативные модели памяти (2/2)
The global forecast for the Asian markets is murky following recent volatility, with crude oil prices providing support in what has been an otherwise tough month. The European markets were down and the U.S. bourses were mixed and flat and the Asian markets figure to split the difference.The TSE finished modestly lower on Friday following losses from the financial shares and property stocks.For the day, the index sank 15.09 points or 0.49 percent to finish at 3,061.35 after trading between 3,057.84 and 3,089.78. Volume was 1.39 billion shares worth 1.30 billion Singapore dollars. There were 285 decliners and 184 gainers.
