Cover Image

Static analysis of .NET programs using rewriting rules

Saved in:

Bibliographic Details
Date:	2020
Main Authors:	H. A. Mamedov, Yu. Doroshenko, R. S. Shevchenko
Format:	Article
Language:	English
Published:	2020
Series:	Problems in programming
Online Access:	http://jnas.nbuv.gov.ua/article/UJRN-0001163051
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	Library portal of National Academy of Sciences of Ukraine \| LibNAS

Institution

Library portal of National Academy of Sciences of Ukraine | LibNAS

Similar Items

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

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

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: K. A. Zhereb
Published: (2020)

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

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

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

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

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

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

Rewrite and rewriting as a kind of plagiarism
by: O. Ryzhko
Published: (2015)

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

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)

Context term calculus for rewriting systems
by: P. C. Shevchenko
Published: (2018)

Static analysis of the physical dimensions in &quot;physical” programs and its implementation in algebraic programming
by: M. S. Lvov
Published: (2015)

The Non-Deterministic Strategy of Rewriting
by: A. A. Letichevsky, et al.
Published: (2013)

The Non-Deterministic Strategy of Rewriting
by: Letichevsky, A.A., et al.
Published: (2013)

Cem evi – rewriting tradition
by: M. Godzińska
Published: (2014)

Simple non-deterministic rewriting in verification
by: Letichevsky, A., et al.
Published: (2010)

Approach to interconnection support between Java and MS.NET programming environments
by: Ostrovskii, A.V.
Published: (2025)

Monte Carlo and molecular dynamics studies for the colour rewritable films
by: Okajima, H., et al.
Published: (2001)

Using Petri nets to design parallel applications
by: Pogorilyy, S.D., et al.
Published: (2025)

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

Solving the classification problem using e-nets
by: M. A. Ivanchuk, et al.
Published: (2016)

Autotuning of parallel programs using the IBM Watsons Analytics data analysis system
by: Yu. Doroshenko, et al.
Published: (2018)

Symbolic computation system for dynamical application programming
by: Doroshenko, A.Yu., et al.
Published: (2015)

Autotuning of parallel programs using the IBM Watsons Analytics data analysis system
by: Doroshenko, А.Yu., et al.
Published: (2018)

From Translation to Rewriting at Marguerite Yourcenar for a Poetic Palimpsest of Creation
by: H. Abdelouahed
Published: (2021)

Principles of modeling GPGPU-applications using Petri nets
by: Pogorilyy, S.D., et al.
Published: (2025)

Distributed Transactions Modeling with the Use of Petri Nets
by: Iwaniak, M., et al.
Published: (2012)

Distributed Transactions Modeling with the Use of Petri Nets
by: M. Iwaniak, et al.
Published: (2012)

Distributed Transactions Modeling with the Use of Petri Nets
by: Iwaniak, M., et al.
Published: (2012)

Issues of net-centric systems analysis and synthesis
by: V. V. Pavlov, et al.
Published: (2014)

Rules and principles of sociological analysis
by: L. Malysh
Published: (2016)

Rules and principles of sociological analysis
by: L. Malysh
Published: (2016)

On Integrable Nets in General and Concordant Chebyshev Nets in Particular
by: Marvan, Michal
Published: (2025)

Optimization of autotuning of programs using neural networks
by: Yu. Doroshenko, et al.
Published: (2017)

The use of the petri net method in the simulation modeling of mitochondrial swelling
by: Yu. V. Danylovych, et al.
Published: (2016)

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