Информатика и системы управления
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
Другие журналы

электронный журнал

МОЛОДЕЖНЫЙ НАУЧНО-ТЕХНИЧЕСКИЙ ВЕСТНИК

Издатель ФГБОУ ВПО "МГТУ им. Н.Э. Баумана". Эл No. ФС77-51038. ISSN 2307-0609

Применение систем переписывания термов для анализа на останов программ с переполняющей арифметикой

Молодежный научно-технический вестник # 12, декабрь 2014
УДК: 519.686.4
Файл статьи: Дикопалова Т.С..pdf (222.13Кб)
автор: Дикопалова Т. С.

1.     Lankford D.S. Tech. Report «On proving term rewriting systems are Noetherian». LA: Louisiana Technical University, 1979. 21 p.

2.     Kamin S., Levy J.J. Tech. Report «Two generalizations of the recursive path ordering». IL: University of Illinois, 1980. 26 p.

3.     Arts T., Giesl J. Termination of term rewriting using dependency pairs // Theoretical Computer Science. 2000. Vol. 236. P. 133–178.

 4.     Dershowitz N., Hoot C. Natural termination // Theoret. Comput. Sci. 1995. Vol. 142(2). P. 179 – 207.

5.     Plaisted D.A. Tech. Report R-78-943 «A recursively defined ordering for proving termination of term rewriting systems». IL: University of Illinois, 1978. 52 p.

6.     Bachmair L., Dershowitz N. Commutation, transformation and termination // The 8th international conference on Automated deduction: proceedings. NY: Springer-Verlag, 1986. Vol. 230. P. 5 – 20.

7.     Zantema H. Termination of term rewriting by semantic labelling // Fund. Inform. 1995. Vol. 24. P. 89 –105.

8.     Falke S., Kapur D., Sinz C. Termination Analysis of Imperative Programs Using Bitvector Arithmetic // The 4th international conference on Verified Software: theories, tools, experiments: proceedings. Berlin: Springer-Verlag, 2012. P. 261-277.

9.     Dershowitz N. Orderings for term-rewriting systems // Theoret. Comput. Sci. 1982. Vol. 17. P. 279 –301.

10. Cook B., Kroening D., Rummer P., Wintersteiger C.M. Ranking function synthesis for bit-vector relations // The 16th international conference on Tools and Algorithms for the Construction and Analysis of Systems: proceedings. 2010. Vol. 6015. P. 236–250.


Тематические рубрики:
Поделиться:
 
ПОИСК
 
elibrary crossref neicon rusycon
 
ЮБИЛЕИ
ФОТОРЕПОРТАЖИ
 
СОБЫТИЯ
 
НОВОСТНАЯ ЛЕНТА
18.12.2017
С 21 по 24 ноября 2017г. в МГТУ им. Н.Э. Баумана прошла XII Всероссийская инновационная молодежная научно-инженерная выставка «Политехника», посвященная 170-летию со дня рождения Н.Е. Жуковского в рамках Всероссийского инновационного молодежного научно-инженерного форума «Политехника».

11.10.2017
XII Всероссийская инновационная молодежная научно-инженерная выставка «ПОЛИТЕХНИКА», посвященная 170-летию со дня рождения Н.Е. Жуковского 21–24 ноября 2017 года г. Москва

25.05.2017
C 15 по 17 мая 2017г. в МГТУ им. Н.Э. Баумана прошел III этап (Всероссийский) Всероссийской студенческой олимпиады по физике (в технических вузах).

25.04.2017
С 12 по 14 апреля в МГТУ им. Н.Э. Баумана прошел Всероссийский этап Всероссийской олимпиады по безопасности жизнедеятельности.

4.04.2017
С 14 по 16 марта 2017г. в МГТУ им. Н.Э. Баумана прошел III (Всероссийский) тур Всероссийской студенческой олимпиады по иностранному языку (английский в технических вузах).




Авторы
Пресс-релизы
Библиотека
Конференции
Выставки
О проекте
Rambler's Top100
Телефон: +7 (499) 263-61-98
  RSS
© 2003-2017 «Молодежный научно-технический вестник» Тел.: +7 (499) 263-61-98