Идентификация латентных декларативных представлений Кодекса для содействия репозиторной миграции
arXiv:2608.23619v1 Анонс Тип: кросс-абстракт: Наследственные программные репозитории встраивают десятилетия знаний домена в недокументированный код, что затрудняет понимание и модернизацию. Мы рассматриваем программу как реализацию ненаблюдаемого, декларативного описания ее вычислений и исследуем,…