Данная статья посвящена задаче автоматического по- строения LALR-транслятора с функцией исправления ошибок определенного типа. Был выбран специальный класс ошибок, связанных, как правило, с отсутствием в тексте транслируемой программы обязательных ключевых слов, пропущенные вхождения которых тем не менее могут быть однозначно вычислены автоматически. Актуальность именно такого ограничения на класс обрабатываемых ошибок связана со спецификой реализации трансляторов в задачах реинжиниринга программного обеспечения: устаревшие компиляторы зачастую разрешали пропускать «очевидные», в определенном смысле слова, ключевые слова. Таким образом, большие объемы актуальных текстов программ, корректные с точки зрения пользователя и некорректные с точки зрения спецификации соответствующих языков, не могут быть обработаны средством автоматизированного реинжиниринга.
Язык оригиналарусский
Страницы (с-по)80-104
ЖурналСИСТЕМНОЕ ПРОГРАММИРОВАНИЕ
Номер выпуска4
СостояниеОпубликовано - 2009

    Области исследований

  • реинжиниринг, LALR, трансляция, формальные грамматики

ID: 5286837