Cover Image

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...

Full description

Saved in:

Bibliographic Details
Date:	2020
Main Authors:	Mamedov, T.A., Doroshenko, А.Yu., Shevchenko, R.S.
Format:	Article
Language:	Ukrainian
Published:	PROBLEMS IN PROGRAMMING 2020
Subjects:	analysis of resource consumption terms generator rewriting rules TermWare UDC 004.4’24
Online Access:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/407
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	Problems in programming
Download file:

Institution

Problems in programming

Similar Items

TermWare3 – term rewriting system, based on context-term calculus
by: Shevchenko, R.S., et al.
Published: (2019)

Context term calculus for rewriting systems
by: Shevchenko, R.S.
Published: (2018)

A method of tuning programs on .Net platform with rewriting rules
by: Mamedov, T.A., et al.
Published: (2019)

Improving performance of Python code using rewriting rules technique
by: Zhereb, K.A.
Published: (2020)

Static analysis of .NET programs using rewriting rules
by: H. A. Mamedov, et al.
Published: (2020)

Factor Analysis Based on Association Rules
by: Zayko, T. A., et al.
Published: (2014)

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

Formal and adaptive methods and software tools of parallel programming
by: Doroshenko, А.Yu., et al.
Published: (2018)

A method of tuning programs on .Net platform with rewriting rules
by: T. A. Mamedov, et al.
Published: (2019)

Validation of correctness of autotuning code transformations with rewriting rules technique
by: Ivanenko, P.A.
Published: (2020)

Utilizing remotely sensed data for atmospheric precipitation analysis in Ukraine
by: Аpostolov, Aleksandr, et al.
Published: (2024)

Embedding a family of logic languages with custom monadic unification in Scala
by: Shevchenko, R.S., et al.
Published: (2024)

Automated design of programs for .NET platform using Task Parallel Library
by: Doroshenko, А.Yu., et al.
Published: (2020)

Automated development of a parallel distributed system for streaming data processing
by: Titov, D.S., et al.
Published: (2018)

Determining the weights of links in networks of terms
by: Lande, D. V., et al.
Published: (2019)

Comparative analysis of the energy-saving policy in European countries: summary for Ukraine
by: Zhovtyansky V.A., et al.
Published: (2001)

A new approach to the application of conflict redistribution rule in Satellite Image Classification
by: Alpert, Sofiia
Published: (2020)

Improving the Model of Long-term Technological Update of Power System Components
by: Denysov, Viktor, et al.
Published: (2023)

DESIGN OF A MATLAB GUI FOR SHORT-TERM SOLAR FORECASTING BASED ON DEEP LEARNING
by: Matushkin, D., et al.
Published: (2023)

Analysis of “mixing” combination rules and Smet’s combination rule
by: Alpert, Sofiia
Published: (2019)

Improving the accuracy of modeling the trend and seasonal components in the medium-term forecasting of the consumed electric power from the integrated power system
by: Martyniuk A., et al.
Published: (2012)

Prediction of lifetime of data storage on optical disks
by: Petrov, V. V., et al.
Published: (2016)

Method and results of long-term forecast of wind power potential of territories of Crimea
by: Ramazanova Z.U., et al.
Published: (2005)

Distributional semantic modeling: a revised technique to train term/word vector space models applying the ontology-related approach
by: Palagin, O.V., et al.
Published: (2020)

Forecasting the electric loading diagrams of an electric power pool for long-term prospect
by: Kulyk М.M., et al.
Published: (2004)

Validation of correctness of autotuning code transformations with rewriting rules technique
by: P. A. Ivanenko
Published: (2020)

Improving performance of Python code using rewriting rules technique
by: K. A. Zhereb
Published: (2020)

Parallel distributed system for social networks streaming data analysis
by: Doroshenko, А.Yu., et al.
Published: (2017)

On performance of the In-Memory Data Grids
by: Rukhlis, K.A., et al.
Published: (2017)

Parallel distributed implementation of parallel processing simulation
by: Doroshenko, A.Yu., et al.
Published: (2025)

The practice investigation of the information technology efficiency for automated definition of terms in the semantic content of educational materials
by: Krak, Yu.V., et al.
Published: (2018)

Automated generation of programs for a class of parametric neuroevolution algorithms
by: Doroshenko, A.Yu., et al.
Published: (2023)

-calculus as a realistic formalization of a class of rewriting systems
by: Shevchenko, R.S., et al.
Published: (2025)

Process automatisation of Xcode new target creation
by: Zhurba, M.A., et al.
Published: (2023)

Defining of cloud service priority for dynamic creating WAF rules
by: Malinich, I.P., et al.
Published: (2026)

Toolkit for simulation of heterogeneous GPU-based environments
by: Okonsky, I.V., et al.
Published: (2025)

Usage of modelling tools for determining optimal parameters of programme execution on video graphics accelerators
by: Doroshenko, A.Yu., et al.
Published: (2025)

Creating a digital twin in meteorological forecasting for a smart city on a mobile platform
by: Haidukevych, V.O., et al.
Published: (2023)

Automated design of OpenCL programs based on algebra-algorithmic approach
by: Doroshenko, А.Yu., et al.
Published: (2019)

The practice implementation of the information technology for automated definition of semantic terms sets in the content of educational materials
by: Krak, Yu.V., et al.
Published: (2018)