Results 51 to 60 of about 142 (133)
Approach to detecting types inconsistency errors in a program code in dynamic languages
Труды Института системного программирования РАН, 2018 The paper deals with detection of defects in a program code written in dynamic languages. At first, overview of static analyzers for programs in Python, Ruby and JavaScript is done.
I. E. Bronshteyn
doaj
Javachecker: статический анализ программных комплексов с помощью переписывающих правил
, 2008 Ruslan Shevchenko
openalex +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
2023
  ÐÑа ÑабоÑа поÑвÑÑена ÑазÑабоÑке плагина SonarQube Ð´Ð»Ñ ÑÑаÑиÑеÑкого анализа ÑзÑка GoLang. ÐÑли вÑÐ¿Ð¾Ð»Ð½ÐµÐ½Ñ ÑледÑÑÑие задаÑи:     ÐÑÑвление модÑлей, иÑполÑзÑемÑÑ Ð² ÑзÑке Golang Ð´Ð»Ñ ÑÐ¾Ð·Ð´Ð°Ð½Ð¸Ñ Ð°Ð½Ð°Ð»Ð¸Ð·Ð°ÑоÑ
openaire +1 more source
  ÐÑа ÑабоÑа поÑвÑÑена ÑазÑабоÑке плагина SonarQube Ð´Ð»Ñ ÑÑаÑиÑеÑкого анализа ÑзÑка GoLang. ÐÑли вÑÐ¿Ð¾Ð»Ð½ÐµÐ½Ñ ÑледÑÑÑие задаÑи:     ÐÑÑвление модÑлей, иÑполÑзÑемÑÑ Ð² ÑзÑке Golang Ð´Ð»Ñ ÑÐ¾Ð·Ð´Ð°Ð½Ð¸Ñ Ð°Ð½Ð°Ð»Ð¸Ð·Ð°ÑоÑ
openaire +1 more source
2023
ЦелÑÑ ÑабоÑÑ ÑвлÑеÑÑÑ Ð²ÑÑвление деÑекÑов в иÑÑ Ð¾Ð´Ð½Ð¾Ð¼ коде пÑогÑаммного обеÑпеÑÐµÐ½Ð¸Ñ Ñ Ð¸ÑполÑзованием ÑÑаÑиÑеÑкого анализаÑоÑа в ÑооÑвеÑÑÑвии Ñ Ð¸Ð½ÑегÑаÑией в CI/CD.
openaire +1 more source
ЦелÑÑ ÑабоÑÑ ÑвлÑеÑÑÑ Ð²ÑÑвление деÑекÑов в иÑÑ Ð¾Ð´Ð½Ð¾Ð¼ коде пÑогÑаммного обеÑпеÑÐµÐ½Ð¸Ñ Ñ Ð¸ÑполÑзованием ÑÑаÑиÑеÑкого анализаÑоÑа в ÑооÑвеÑÑÑвии Ñ Ð¸Ð½ÑегÑаÑией в CI/CD.
openaire +1 more source
2023
This work is devoted to the implementation of a static security code analyzer for the Kotlin language using symbolic execution technology within the PT Application Inspector product, as well as to the research of the possibility of optimizing the scanning process by using data flow analysis technology. In the course of this work, software prototypes of
openaire +1 more source
This work is devoted to the implementation of a static security code analyzer for the Kotlin language using symbolic execution technology within the PT Application Inspector product, as well as to the research of the possibility of optimizing the scanning process by using data flow analysis technology. In the course of this work, software prototypes of
openaire +1 more source
2022
Тема вÑпÑÑкной квалиÑикаÑионной ÑабоÑÑ: «РепÑодÑкÑÐ¸Ñ Ð´ÐµÐºÐ¾ÑаÑивного пÑедмеÑа в иÑÑоÑиÑеÑком ÑÑиле». Ð ÑабоÑе ÑаÑÑмаÑÑиваеÑÑÑ ÑÐµÑ Ð½Ð¾Ð»Ð¾Ð³Ð¸Ñ ÐºÐ¾Ð²ÐºÐ¸, вÑемÑаÑой Ñмали и ÑÑавлениÑ.
openaire +1 more source
Тема вÑпÑÑкной квалиÑикаÑионной ÑабоÑÑ: «РепÑодÑкÑÐ¸Ñ Ð´ÐµÐºÐ¾ÑаÑивного пÑедмеÑа в иÑÑоÑиÑеÑком ÑÑиле». Ð ÑабоÑе ÑаÑÑмаÑÑиваеÑÑÑ ÑÐµÑ Ð½Ð¾Ð»Ð¾Ð³Ð¸Ñ ÐºÐ¾Ð²ÐºÐ¸, вÑемÑаÑой Ñмали и ÑÑавлениÑ.
openaire +1 more source
2022
This thesis examines the linguistic and historical aspect of political correctness of mass media in English-speaking culture. The definition of political correctness, its content and functions, as well as the history of its development and the thematic classification of politically correct vocabulary are presented.
openaire +1 more source
This thesis examines the linguistic and historical aspect of political correctness of mass media in English-speaking culture. The definition of political correctness, its content and functions, as well as the history of its development and the thematic classification of politically correct vocabulary are presented.
openaire +1 more source