Публикации с тэгом "Chalice"

СТАТЬЯ Microsoft Research представит ряд проектов на Microsoft PDC10

Research in Software Engineering (RiSE) на предстоящей конференции Microsoft PDC10 продемонстрирует 16 проектов. Рассморим их более подробно. BEK Сайт: http://research.microsoft.com/en-us/projects/bek/ BEK - это предметно-ориентированный язык программирования для написания строковых функций общего назначения с примесью анализа.  С помощью BEK можно будет ответить на вопросы типа Вернут ли эти две программы одинаквые строки? ("Do these two programs output the same string?") Может ли эта программа...