Static analysis of .NET programs using rewriting rules

Static analysis of .NET programs using rewriting rules

Gespeichert in:

Bibliographische Detailangaben
Datum:	2020
Hauptverfasser:	H. A. Mamedov, Yu. Doroshenko, R. S. Shevchenko
Format:	Artikel
Sprache:	English
Veröffentlicht:	2020
Schriftenreihe:	Problems in programming
Online Zugang:	http://jnas.nbuv.gov.ua/article/UJRN-0001163051
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Library portal of National Academy of Sciences of Ukraine \| LibNAS

Institution

Library portal of National Academy of Sciences of Ukraine | LibNAS

Ähnliche Einträge

Static analysis of .NET programs using rewriting rules
von: Mamedov, T.A., et al.
Veröffentlicht: (2020)

A method of tuning programs on .Net platform with rewriting rules
von: T. A. Mamedov, et al.
Veröffentlicht: (2019)

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

Improving performance of Python code using rewriting rules technique
von: Zhereb, K.A.
Veröffentlicht: (2020)

Validation of correctness of autotuning code transformations with rewriting rules technique
von: P. A. Ivanenko
Veröffentlicht: (2020)

Validation of correctness of autotuning code transformations with rewriting rules technique
von: Ivanenko, P.A.
Veröffentlicht: (2020)

Automated design of programs for .NET platform using Task Parallel Library
von: Yu. Doroshenko, et al.
Veröffentlicht: (2020)

Automated design of programs for .NET platform using Task Parallel Library
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2020)

Rewrite and rewriting as a kind of plagiarism
von: O. Ryzhko
Veröffentlicht: (2015)

TermWare-3 – term rewriting system, based on context-term calculus
von: R. S. Shevchenko, et al.
Veröffentlicht: (2019)

Context term calculus for rewriting systems
von: Shevchenko, R.S.
Veröffentlicht: (2018)

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: P. C. Shevchenko
Veröffentlicht: (2018)

Static analysis of the physical dimensions in "physical” programs and its implementation in algebraic programming
von: M. S. Lvov
Veröffentlicht: (2015)

The Non-Deterministic Strategy of Rewriting
von: Letichevsky, A.A., et al.
Veröffentlicht: (2013)

The Non-Deterministic Strategy of Rewriting
von: A. A. Letichevsky, et al.
Veröffentlicht: (2013)

Cem evi – rewriting tradition
von: M. Godzińska
Veröffentlicht: (2014)

Simple non-deterministic rewriting in verification
von: Letichevsky, A., et al.
Veröffentlicht: (2010)

Monte Carlo and molecular dynamics studies for the colour rewritable films
von: Okajima, H., et al.
Veröffentlicht: (2001)

Solving the classification problem using e-nets
von: M. A. Ivanchuk, et al.
Veröffentlicht: (2016)

From Translation to Rewriting at Marguerite Yourcenar for a Poetic Palimpsest of Creation
von: H. Abdelouahed
Veröffentlicht: (2021)

Distributed Transactions Modeling with the Use of Petri Nets
von: Iwaniak, M., et al.
Veröffentlicht: (2012)

Distributed Transactions Modeling with the Use of Petri Nets
von: Iwaniak, M., et al.
Veröffentlicht: (2012)

Distributed Transactions Modeling with the Use of Petri Nets
von: M. Iwaniak, et al.
Veröffentlicht: (2012)

Principles of modeling GPGPU-applications using Petri nets
von: Pogorilyy, S.D., et al.
Veröffentlicht: (2025)

Issues of net-centric systems analysis and synthesis
von: V. V. Pavlov, et al.
Veröffentlicht: (2014)

Analysis of “mixing” combination rules and Smet’s combination rule
von: Alpert, Sofiia
Veröffentlicht: (2019)

The use of the petri net method in the simulation modeling of mitochondrial swelling
von: Yu. V. Danylovych, et al.
Veröffentlicht: (2016)

Autotuning of parallel programs using the IBM Watsons Analytics data analysis system
von: Yu. Doroshenko, et al.
Veröffentlicht: (2018)

Symbolic computation system for dynamical application programming
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2015)

Autotuning of parallel programs using the IBM Watsons Analytics data analysis system
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2018)

Rules and principles of sociological analysis
von: L. Malysh
Veröffentlicht: (2016)

Rules and principles of sociological analysis
von: L. Malysh
Veröffentlicht: (2016)

Modeling of the E-marketing Logistics Subsystem Using the Fuzzy Petri Net
von: V. V. Vitlinskyi, et al.
Veröffentlicht: (2014)

Optimization of autotuning of programs using neural networks
von: Yu. Doroshenko, et al.
Veröffentlicht: (2017)

Factor Analysis Based on Association Rules
von: Zayko, T. A., et al.
Veröffentlicht: (2014)

Analysis of "mixing" combination rules and Smet's combination rule
von: S. I. Alpert
Veröffentlicht: (2019)

Analysis of static stabilizers of the fundamental harmonic frequencies in the range of the network
von: Yu. F. Tesyk, et al.
Veröffentlicht: (2016)

Modelling of the teaching process in logistic systems by using of nested Petri Nets
von: S. Minakova
Veröffentlicht: (2014)