Логика Хоара — поиск смысла в программных конструкциях Мастер-классы

Доклад принят в программу конференции
Евгений Тюменцев

Директор компании по разработке программного обеспечения.
В прошлом занимался профессионально разработкой многопоточных кросс-платформенных приложений на С++. Код, написанный 14 лет назад, до сих пор работает в составе IBM Watson.
Преподаватель курсов OTUS:
* Архитектура и шаблоны проектирования;
* Супер-интенсив по паттернам проектирования;
* Разработчик C++.

Тезисы

В результате мастер-класса слушатели будут уметь объяснять с точки зрения математики разные свойства языков программирования, чтобы писать адаптивный и верифицируемый код.

Другие доклады секции Мастер-классы

CLI в Node.js
Александр Коржиков
Dev IT Engineer ING Group (Нидерланды)