Зображення обкладинки

Static analysis of .NET programs using rewriting rules

A software tool that finds problems of resource consumption in case of work with files using rewriting rules was implemented. To reach the goal, the TermWare system, which could be embedded into those systems running on JVM, was used. In order to work with C#-programs, the special plugin for TermWar...

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2020
Автори:	Mamedov, T.A., Doroshenko, А.Yu., Shevchenko, R.S.
Формат:	Стаття
Мова:	Українська
Опубліковано:	PROBLEMS IN PROGRAMMING 2020
Теми:	analysis of resource consumption terms generator rewriting rules TermWare UDC 004.4’24
Онлайн доступ:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/407
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Problems in programming
Завантажити файл:

Репозитарії

Problems in programming

Схожі ресурси

TermWare3 – term rewriting system, based on context-term calculus
за авторством: Shevchenko, R.S., та інші
Опубліковано: (2019)

Context term calculus for rewriting systems
за авторством: Shevchenko, R.S.
Опубліковано: (2018)

Improving performance of Python code using rewriting rules technique
за авторством: Zhereb, K.A.
Опубліковано: (2020)

A method of tuning programs on .Net platform with rewriting rules
за авторством: Mamedov, T.A., та інші
Опубліковано: (2019)

Factor Analysis Based on Association Rules
за авторством: Zayko, T. A., та інші
Опубліковано: (2014)

Static analysis of .NET programs using rewriting rules
за авторством: H. A. Mamedov, та інші
Опубліковано: (2020)

Розпаралелювання програм на фортрані з використанням техніки переписувальних правил
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2015)

Formal and adaptive methods and software tools of parallel programming
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2018)

A method of tuning programs on .Net platform with rewriting rules
за авторством: T. A. Mamedov, та інші
Опубліковано: (2019)

Validation of correctness of autotuning code transformations with rewriting rules technique
за авторством: Ivanenko, P.A.
Опубліковано: (2020)

Embedding a family of logic languages with custom monadic unification in Scala
за авторством: Shevchenko, R.S., та інші
Опубліковано: (2024)

Utilizing remotely sensed data for atmospheric precipitation analysis in Ukraine
за авторством: Аpostolov, Aleksandr, та інші
Опубліковано: (2024)

Automated design of programs for .NET platform using Task Parallel Library
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2020)

Automated development of a parallel distributed system for streaming data processing
за авторством: Titov, D.S., та інші
Опубліковано: (2018)

Determining the weights of links in networks of terms
за авторством: Lande, D. V., та інші
Опубліковано: (2019)

DESIGN OF A MATLAB GUI FOR SHORT-TERM SOLAR FORECASTING BASED ON DEEP LEARNING
за авторством: Matushkin, D., та інші
Опубліковано: (2023)

A new approach to the application of conflict redistribution rule in Satellite Image Classification
за авторством: Alpert, Sofiia
Опубліковано: (2020)

Analysis of “mixing” combination rules and Smet’s combination rule
за авторством: Alpert, Sofiia
Опубліковано: (2019)

Prediction of lifetime of data storage on optical disks
за авторством: Petrov, V. V., та інші
Опубліковано: (2016)

Distributional semantic modeling: a revised technique to train term/word vector space models applying the ontology-related approach
за авторством: Palagin, O.V., та інші
Опубліковано: (2020)

Співставлення структури споживання палива та викидів забруднюючих речовин для визначення напрямів їхнього скорочення
за авторством: Maliarenko, Olena, та інші
Опубліковано: (2024)

The practice investigation of the information technology efficiency for automated definition of terms in the semantic content of educational materials
за авторством: Krak, Yu.V., та інші
Опубліковано: (2018)

Defining of cloud service priority for dynamic creating WAF rules
за авторством: Malinich, I.P., та інші
Опубліковано: (2026)

Process automatisation of Xcode new target creation
за авторством: Zhurba, M.A., та інші
Опубліковано: (2023)

High-tempe-rature reflective coatings for long-term storage media
за авторством: Petrov, V. V., та інші
Опубліковано: (2019)

Building of Networks of Natural Hierarchies of Terms Based on Analysis of Texts Corpora
за авторством: Lande, D. V., та інші
Опубліковано: (2014)

An approach to evaluation of survivability of scientific publications in the long-term storage in the Internet environment
за авторством: Lande, D. V., та інші
Опубліковано: (2013)

The practice implementation of the information technology for automated definition of semantic terms sets in the content of educational materials
за авторством: Krak, Yu.V., та інші
Опубліковано: (2018)

Automated generation of programs for a class of parametric neuroevolution algorithms
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2023)

Validation of correctness of autotuning code transformations with rewriting rules technique
за авторством: P. A. Ivanenko
Опубліковано: (2020)

Improving performance of Python code using rewriting rules technique
за авторством: K. A. Zhereb
Опубліковано: (2020)

Parallel distributed system for social networks streaming data analysis
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2017)

Creating a digital twin in meteorological forecasting for a smart city on a mobile platform
за авторством: Haidukevych, V.O., та інші
Опубліковано: (2023)

Automated design of OpenCL programs based on algebra-algorithmic approach
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2019)

Regulatory provision of creep definition of continuous cast billets from copper alloys
за авторством: Павлова, Анна Алексеевна, та інші
Опубліковано: (2014)

Regulatory provision of creep definition of continuous cast billets from copper alloys
за авторством: Павлова, Анна Алексеевна, та інші
Опубліковано: (2014)

Modified method of searching keywords and keyterms in text data
за авторством: Bukhalenkov, D.O., та інші
Опубліковано: (2024)

-calculus as a realistic formalization of a class of rewriting systems
за авторством: Shevchenko, R.S., та інші
Опубліковано: (2025)

The Littlewood-Richardson rule and Gelfand-Tsetlin patterns
за авторством: Doolan, Patrick, та інші
Опубліковано: (2016)

Application of machine learning models to predict energy consumption in smart home systems
за авторством: Haidukevych, V.O., та інші
Опубліковано: (2025)