| Розділ: | Формальні методи програмування |
| УДК: | 681.3 |
| Автор: | Дорошенко, А.Е.; Шевченко, Р.С. |
| Назва: | Применение систем переписывания термов к анализу исходного программного кода |
| Інша назва: | Application of Rewriting Term System for Source Code Analysis |
| Посилання: | Применение систем переписывания термов к анализу исходного программного кода / А.Е. Дорошенко, Р.С. Шевченко // Пробл. програмув. — 2008. — N 2-3. — С. 305-312. — Бібліогр.: 17 назв. — рус. |
| Анотація: |
Описана система переписывания термов TermWare и ее применение к задачам анализа и преобразования исходного кода. Особенностью подхода является комбинирование декларативного и императивного стилей программирования и построение слабых аппроксимаций вычислительной семантики, которые отображают определенные аспекты поведения программы, вместо полной формальной модели. Описаны два практических приложения системы TermWare – статический анализатор исходного кода для Java и система частичного выполнения Java-програм. The term-rewriting system TermWare and its application to the analysis and transformation of source code are described. The feature of the approach is combining declarative and imperative styles and construction of weak approximations of program computational semantics, representing certain aspects of program behavior, instead of complete formal model. Two practical applications of TermWare system are described – static analyzer of source code for Java and system of partial evaluation of the Java-programs. |
| URI: | http://dspace.nbuv.gov.ua:8080/dspace/handle/123456789/1486 |
| Файли | Розмір | Формат | Перегляд |
|---|---|---|---|
| 38 - Doroshenko.pdf | 160.1Кб |
Перегляд/ |
З цією статею пов'язані наступні ліцензії: