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...
Gespeichert in:
| Datum: | 2020 |
|---|---|
| Hauptverfasser: | Mamedov, T.A., Doroshenko, А.Yu., Shevchenko, R.S. |
| Format: | Artikel |
| Sprache: | Ukrainisch |
| Veröffentlicht: |
PROBLEMS IN PROGRAMMING
2020
|
| Schlagworte: | |
| Online Zugang: | https://pp.isofts.kiev.ua/index.php/ojs1/article/view/407 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Problems in programming |
| Завантажити файл: | |
Institution
Problems in programmingÄhnliche Einträge
TermWare3 – term rewriting system, based on context-term calculus
von: Shevchenko, R.S., et al.
Veröffentlicht: (2019)
von: Shevchenko, R.S., et al.
Veröffentlicht: (2019)
Context term calculus for rewriting systems
von: Shevchenko, R.S.
Veröffentlicht: (2018)
von: Shevchenko, R.S.
Veröffentlicht: (2018)
A method of tuning programs on .Net platform with rewriting rules
von: Mamedov, T.A., et al.
Veröffentlicht: (2019)
von: Mamedov, T.A., et al.
Veröffentlicht: (2019)
Improving performance of Python code using rewriting rules technique
von: Zhereb, K.A.
Veröffentlicht: (2020)
von: Zhereb, K.A.
Veröffentlicht: (2020)
Static analysis of .NET programs using rewriting rules
von: H. A. Mamedov, et al.
Veröffentlicht: (2020)
von: H. A. Mamedov, et al.
Veröffentlicht: (2020)
Factor Analysis Based on Association Rules
von: Zayko, T. A., et al.
Veröffentlicht: (2014)
von: Zayko, T. A., et al.
Veröffentlicht: (2014)
Розпаралелювання програм на фортрані з використанням техніки переписувальних правил
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2015)
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2015)
A method of tuning programs on .Net platform with rewriting rules
von: T. A. Mamedov, et al.
Veröffentlicht: (2019)
von: T. A. Mamedov, et al.
Veröffentlicht: (2019)
Formal and adaptive methods and software tools of parallel programming
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2018)
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2018)
Validation of correctness of autotuning code transformations with rewriting rules technique
von: Ivanenko, P.A.
Veröffentlicht: (2020)
von: Ivanenko, P.A.
Veröffentlicht: (2020)
Utilizing remotely sensed data for atmospheric precipitation analysis in Ukraine
von: Аpostolov, Aleksandr, et al.
Veröffentlicht: (2024)
von: Аpostolov, Aleksandr, et al.
Veröffentlicht: (2024)
Automated design of programs for .NET platform using Task Parallel Library
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2020)
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2020)
Embedding a family of logic languages with custom monadic unification in Scala
von: Shevchenko, R.S., et al.
Veröffentlicht: (2024)
von: Shevchenko, R.S., et al.
Veröffentlicht: (2024)
Determining the weights of links in networks of terms
von: Lande, D. V., et al.
Veröffentlicht: (2019)
von: Lande, D. V., et al.
Veröffentlicht: (2019)
Comparative analysis of the energy-saving policy in European countries: summary for Ukraine
von: Zhovtyansky V.A., et al.
Veröffentlicht: (2001)
von: Zhovtyansky V.A., et al.
Veröffentlicht: (2001)
Automated development of a parallel distributed system for streaming data processing
von: Titov, D.S., et al.
Veröffentlicht: (2018)
von: Titov, D.S., et al.
Veröffentlicht: (2018)
A new approach to the application of conflict redistribution rule in Satellite Image Classification
von: Alpert, Sofiia
Veröffentlicht: (2020)
von: Alpert, Sofiia
Veröffentlicht: (2020)
Improving the Model of Long-term Technological Update of Power System Components
von: Denysov, Viktor, et al.
Veröffentlicht: (2023)
von: Denysov, Viktor, et al.
Veröffentlicht: (2023)
DESIGN OF A MATLAB GUI FOR SHORT-TERM SOLAR FORECASTING BASED ON DEEP LEARNING
von: Matushkin, D., et al.
Veröffentlicht: (2023)
von: Matushkin, D., et al.
Veröffentlicht: (2023)
Analysis of “mixing” combination rules and Smet’s combination rule
von: Alpert, Sofiia
Veröffentlicht: (2019)
von: Alpert, Sofiia
Veröffentlicht: (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
von: Martyniuk A., et al.
Veröffentlicht: (2012)
von: Martyniuk A., et al.
Veröffentlicht: (2012)
Architecture of the energy consumption management and planning system for long-term contract market participants
von: Голець, В. О., et al.
Veröffentlicht: (2025)
von: Голець, В. О., et al.
Veröffentlicht: (2025)
Prediction of lifetime of data storage on optical disks
von: Petrov, V. V., et al.
Veröffentlicht: (2016)
von: Petrov, V. V., et al.
Veröffentlicht: (2016)
Method and results of long-term forecast of wind power potential of territories of Crimea
von: Ramazanova Z.U., et al.
Veröffentlicht: (2005)
von: Ramazanova Z.U., et al.
Veröffentlicht: (2005)
Distributional semantic modeling: a revised technique to train term/word vector space models applying the ontology-related approach
von: Palagin, O.V., et al.
Veröffentlicht: (2020)
von: Palagin, O.V., et al.
Veröffentlicht: (2020)
Forecasting the electric loading diagrams of an electric power pool for long-term prospect
von: Kulyk М.M., et al.
Veröffentlicht: (2004)
von: Kulyk М.M., et al.
Veröffentlicht: (2004)
Validation of correctness of autotuning code transformations with rewriting rules technique
von: P. A. Ivanenko
Veröffentlicht: (2020)
von: P. A. Ivanenko
Veröffentlicht: (2020)
Improving performance of Python code using rewriting rules technique
von: K. A. Zhereb
Veröffentlicht: (2020)
von: K. A. Zhereb
Veröffentlicht: (2020)
Defining of cloud service priority for dynamic creating WAF rules
von: Malinich, I.P., et al.
Veröffentlicht: (2026)
von: Malinich, I.P., et al.
Veröffentlicht: (2026)
The practice investigation of the information technology efficiency for automated definition of terms in the semantic content of educational materials
von: Krak, Yu.V., et al.
Veröffentlicht: (2018)
von: Krak, Yu.V., et al.
Veröffentlicht: (2018)
-calculus as a realistic formalization of a class of rewriting systems
von: Shevchenko, R.S., et al.
Veröffentlicht: (2025)
von: Shevchenko, R.S., et al.
Veröffentlicht: (2025)
Prediction needs economy in energy resources taking into account the demand for energy-intensive export-oriented products
von: Maliarenko O.Ye., et al.
Veröffentlicht: (2015)
von: Maliarenko O.Ye., et al.
Veröffentlicht: (2015)
Parallel distributed system for social networks streaming data analysis
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2017)
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2017)
Automated generation of programs for a class of parametric neuroevolution algorithms
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2023)
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2023)
Process automatisation of Xcode new target creation
von: Zhurba, M.A., et al.
Veröffentlicht: (2023)
von: Zhurba, M.A., et al.
Veröffentlicht: (2023)
High-tempe-rature reflective coatings for long-term storage media
von: Petrov, V. V., et al.
Veröffentlicht: (2019)
von: Petrov, V. V., et al.
Veröffentlicht: (2019)
Building of Networks of Natural Hierarchies of Terms Based on Analysis of Texts Corpora
von: Lande, D. V., et al.
Veröffentlicht: (2014)
von: Lande, D. V., et al.
Veröffentlicht: (2014)
An approach to evaluation of survivability of scientific publications in the long-term storage in the Internet environment
von: Lande, D. V., et al.
Veröffentlicht: (2013)
von: Lande, D. V., et al.
Veröffentlicht: (2013)
The practice implementation of the information technology for automated definition of semantic terms sets in the content of educational materials
von: Krak, Yu.V., et al.
Veröffentlicht: (2018)
von: Krak, Yu.V., et al.
Veröffentlicht: (2018)
Rewrite and rewriting as a kind of plagiarism
von: O. Ryzhko
Veröffentlicht: (2015)
von: O. Ryzhko
Veröffentlicht: (2015)
Ähnliche Einträge
-
TermWare3 – term rewriting system, based on context-term calculus
von: Shevchenko, R.S., et al.
Veröffentlicht: (2019) -
Context term calculus for rewriting systems
von: Shevchenko, R.S.
Veröffentlicht: (2018) -
A method of tuning programs on .Net platform with rewriting rules
von: Mamedov, T.A., et al.
Veröffentlicht: (2019) -
Improving performance of Python code using rewriting rules technique
von: Zhereb, K.A.
Veröffentlicht: (2020) -
Static analysis of .NET programs using rewriting rules
von: H. A. Mamedov, et al.
Veröffentlicht: (2020)