Засіб статичного аналізу .NET програм за допомогою переписувальних правил
Розроблено програмний засіб, який виявляє в C#-програмах проблеми ресурсоспоживання з погляду роботи з файлами за допомогою переписувальних правил. Для цього використана система TermWare, яку можна легко вбудовувати в ті програмні системи, які побудовані на JVM. Для того, щоб працювати з C#-програма...
Збережено в:
Дата: | 2020 |
---|---|
Автори: | Мамедов, Г.А., Дорошенко, А.Ю., Шевченко, Р.С. |
Формат: | Стаття |
Мова: | Ukrainian |
Опубліковано: |
Інститут програмних систем НАН України
2020
|
Назва видання: | Проблеми програмування |
Теми: | |
Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/180461 |
Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
Цитувати: | Засіб статичного аналізу .NET програм за допомогою переписувальних прави / Г.А. Мамедов, А.Ю. Дорошенко, Р.С. Шевченко // Проблеми програмування. — 2020. — № 2-3. — С. 157-163. — Бібліогр.: 10 назв. — укр. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of UkraineСхожі ресурси
-
О моделировании сенсорних сетей средствами високого уровня
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2006) -
Формалізація жестоутворення за допомогою трьохмірної моделі людини для української жестової мови
за авторством: Кривонос, Ю.Г., та інші
Опубліковано: (2012) -
Використання Грід-технологій для аналізу соціальних мереж
за авторством: Ткаченко, В.В.
Опубліковано: (2009) -
Евристичний алгоритм морфолексичного аналізу для невідомих слів
за авторством: Тарануха, В.Ю.
Опубліковано: (2014) -
Розробка семантико-синтаксичної моделі природної мови за допомогою методів невід’ємної тензорної і матричної факторизації
за авторством: Марченко, О.О.
Опубліковано: (2014)