caxapa.ru :: Она учит кодировать, указывая на ошибки (конструкции, которые допустимы с точки зрения синтаксиса языка, но вряд ли допустимы с точки зрения примитивной человеческой логики, причём ПК можно научить части этой логики в виде анализаторов кода).

VVB (21.03.2018 16:07, просмотров: 228) ответил ЫЫyкпy на А эта PVS учит писать?

Она учит кодировать, указывая на ошибки (конструкции, которые допустимы с точки зрения синтаксиса языка, но вряд ли допустимы с точки зрения примитивной человеческой логики, причём ПК можно научить части этой логики в виде анализаторов кода).

Ответить

- Мудрый программист слышал о Дао и следует ему. Обычный программист слышал о Дао и ищет его. Плохой программист слышал о Дао и смеётся над ним. ЫЫукпу(123 знак., 21.03.2018 18:21, ссылка)

Средства и методы разработки