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

Static analysis of .NET programs using rewriting rules

Збережено в:

Бібліографічні деталі
Дата:	2020
Автори:	H. A. Mamedov, Yu. Doroshenko, R. S. Shevchenko
Формат:	Стаття
Мова:	Англійська
Опубліковано:	2020
Назва видання:	Problems in programming
Онлайн доступ:	http://jnas.nbuv.gov.ua/article/UJRN-0001163051
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Library portal of National Academy of Sciences of Ukraine \| LibNAS

Репозитарії

Library portal of National Academy of Sciences of Ukraine | LibNAS

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

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

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

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

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

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

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

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

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

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

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

Rewrite and rewriting as a kind of plagiarism
за авторством: O. Ryzhko
Опубліковано: (2015)

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

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

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

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

Static analysis of the physical dimensions in &quot;physical” programs and its implementation in algebraic programming
за авторством: M. S. Lvov
Опубліковано: (2015)

The Non-Deterministic Strategy of Rewriting
за авторством: A. A. Letichevsky, та інші
Опубліковано: (2013)

The Non-Deterministic Strategy of Rewriting
за авторством: Letichevsky, A.A., та інші
Опубліковано: (2013)

Approach to interconnection support between Java and MS.NET programming environments
за авторством: Ostrovskii, A.V.
Опубліковано: (2025)

Cem evi – rewriting tradition
за авторством: M. Godzińska
Опубліковано: (2014)

Simple non-deterministic rewriting in verification
за авторством: Letichevsky, A., та інші
Опубліковано: (2010)

Using Petri nets to design parallel applications
за авторством: Pogorilyy, S.D., та інші
Опубліковано: (2025)

Solving the classification problem using e-nets
за авторством: M. A. Ivanchuk, та інші
Опубліковано: (2016)

Distributed Transactions Modeling with the Use of Petri Nets
за авторством: Iwaniak, M., та інші
Опубліковано: (2012)

Distributed Transactions Modeling with the Use of Petri Nets
за авторством: M. Iwaniak, та інші
Опубліковано: (2012)

Issues of net-centric systems analysis and synthesis
за авторством: V. V. Pavlov, та інші
Опубліковано: (2014)

Principles of modeling GPGPU-applications using Petri nets
за авторством: Pogorilyy, S.D., та інші
Опубліковано: (2025)

Monte Carlo and molecular dynamics studies for the colour rewritable films
за авторством: Okajima, H., та інші
Опубліковано: (2001)

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

The use of the petri net method in the simulation modeling of mitochondrial swelling
за авторством: Yu. V. Danylovych, та інші
Опубліковано: (2016)

From Translation to Rewriting at Marguerite Yourcenar for a Poetic Palimpsest of Creation
за авторством: H. Abdelouahed
Опубліковано: (2021)

Autotuning of parallel programs using the IBM Watsons Analytics data analysis system
за авторством: Yu. Doroshenko, та інші
Опубліковано: (2018)

Symbolic computation system for dynamical application programming
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2015)

Autotuning of parallel programs using the IBM Watsons Analytics data analysis system
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2018)

Modeling of the E-marketing Logistics Subsystem Using the Fuzzy Petri Net
за авторством: V. V. Vitlinskyi, та інші
Опубліковано: (2014)

Rules and principles of sociological analysis
за авторством: L. Malysh
Опубліковано: (2016)

Rules and principles of sociological analysis
за авторством: L. Malysh
Опубліковано: (2016)

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

Optimization of autotuning of programs using neural networks
за авторством: Yu. Doroshenko, та інші
Опубліковано: (2017)

Analysis of static stabilizers of the fundamental harmonic frequencies in the range of the network
за авторством: Yu. F. Tesyk, та інші
Опубліковано: (2016)