«Компьютеры изменили нашу повседневную жизнь, но способ программирования компьютеров за последние несколько десятков лет не меняется. Разработка ПО остается трудоемким и подверженным ошибкам процессом», — говорит Раджив Алюр, профессор информатики Университета Пенсильвании. Он возглавляет команду исследователей, участвующих в программе ExCAPE.
Используя модель программирования, которая называется программный синтез, компьютеры могут генерировать куски кода на основании целей пользователя, выраженных в определенных базовых формах — примерах, демонстрациях или командах естественного языка.
Российская настольная игра научит детей программировать
Идеи
Сняв необходимость в изучении эзотерического языка программирования, проект ExCAPE может значительно расширить число вовлеченных в программирование лиц, работающих в различных сферах, от образования до робототехники.
«Этот проект основан на десятилетиях фундаментальных успехов в формальных методах и языках программирования, — говорит Нина Амла, директор программы в Фонде. — Он знаменует сдвиг парадигмы обучения основным принципам программирования и предлагает надежную программную систему». В будущем использование кодового языка может заменить современный метод, пришедшего на смену перфокартам и ассемблеру, пишет EurekAlert.