Упрощение компьютерного программирования: автоматизированный синтез программ позволяет непрограммистам создавать рабочий код

Чтобы упростить разработку программ, поддерживаемый Национальным научным фондом (NSF) проект под названием Expeditions in Computer Augmented Program Engineering (ExCAPE) разрабатывает технологию, которая предоставляет операторам автоматизированную помощь.
«Компьютеры произвели революцию в нашей повседневной жизни, и все же то, как мы программируем компьютеры, мало изменилось за последние несколько десятилетий», — сказал Раджив Алур, профессор кафедры информатики и информатики Университета Пенсильвании. …
