185 похожих чатов

React — русскоговорящее с... React — русскоговорящее с...
Android Developers Android Developers
Python Python
Vue.js — русскоговорящее ... Vue.js — русскоговорящее ...
supapro.cxx supapro.cxx
DotNetRuChat DotNetRuChat
GNU/Linux Help GNU/Linux Help
Telegram Developers Telegram Developers
Node.js — русскоговорящее... Node.js — русскоговорящее...
DevOps — русскоговорящее ... DevOps — русскоговорящее ...
JavaScript Noobs — сообще... JavaScript Noobs — сообще...
Django [ru] Django [ru]
Go-go! Go-go!
Angular - русскоговорящее... Angular - русскоговорящее...
ntwrk ntwrk
Верстка сайтов HTML/CSS/J... Верстка сайтов HTML/CSS/J...
phpGeeks phpGeeks
Kubernetes — русскоговоря... Kubernetes — русскоговоря...
Битрикс для разработчиков Битрикс для разработчиков
MODX. Русскоязычное сообщ... MODX. Русскоязычное сообщ...
pgsql – PostgreSQL pgsql – PostgreSQL
Laravel Pro Laravel Pro
iOS Developers — русского... iOS Developers — русского...
ClickHouse не тормозит ClickHouse не тормозит
Rust — русскоговорящее со... Rust — русскоговорящее со...
JavaScript — русскоговоря... JavaScript — русскоговоря...
С# С#
pro.cxx pro.cxx
pro.jvm pro.jvm
React Native — русскогово... React Native — русскогово...
Devs Chat Devs Chat
Docker — русскоговорящее ... Docker — русскоговорящее ...
HTML/CSS — русскоговоряще... HTML/CSS — русскоговоряще...
Python beginners Python beginners
🐧 RU.UBUNTU — Официальное... 🐧 RU.UBUNTU — Официальное...
Kotlin Community Kotlin Community
Embedded Group Embedded Group
Чат экстремального погром... Чат экстремального погром...
aiogram aiogram
Scala User Group Scala User Group
Haskell Haskell
PHP PHP
TypeScript TypeScript
Клуб Vue.js-разработчиков Клуб Vue.js-разработчиков
Xamarin Developers (MAUI,... Xamarin Developers (MAUI,...
F# Chat F# Chat
Svelte [svelt] - All abou... Svelte [svelt] - All abou...
Системное администрирован... Системное администрирован...
Nuxt.js | Vue SSR Nuxt.js | Vue SSR
var chat = new Chat(); var chat = new Chat();
Data Science Chat Data Science Chat
Android Architecture Android Architecture
Laravel для начинающих Laravel для начинающих
Ассемблер Ассемблер
Церковь метрик Церковь метрик
Dart & Flutter Dart & Flutter
QA — русскоговорящее сооб... QA — русскоговорящее сооб...
DBA - русскоговорящее соо... DBA - русскоговорящее соо...
Tarantool Tarantool
Unreal Engine Unreal Engine
pro.elixir pro.elixir
Python Flask Python Flask
PostgreSQL + 1C + Linux PostgreSQL + 1C + Linux
SAP ABAP SAP ABAP
R (язык программирования) R (язык программирования)
learn.java learn.java
Big Data Science :: AI / ... Big Data Science :: AI / ...
DevsHelper DevsHelper
SwiftBook SwiftBook
Solidity Development Solidity Development
Вокруг да около Zigbee Вокруг да около Zigbee
Android Declarative Android Declarative
pro.net (former COM+) pro.net (former COM+)
OpenStreetMap RU OpenStreetMap RU
Visual Studio Code — русс... Visual Studio Code — русс...
Atlassian Community - Rus... Atlassian Community - Rus...
Delphi & Lazarus Delphi & Lazarus
ru_mysql ru_mysql
pro.lua pro.lua
GraphQL — русскоговорящее... GraphQL — русскоговорящее...
Чат про Fusion 360 и 3D Чат про Fusion 360 и 3D
Substance Painter & Desig... Substance Painter & Desig...
Dart / Flutter Dart / Flutter
Evolution CMS развитие и ... Evolution CMS развитие и ...
pro.graphon (and gamedev) pro.graphon (and gamedev)
pro.Asm pro.Asm
OpenCartForum - 🇺🇦🇪🇺Чат O... OpenCartForum - 🇺🇦🇪🇺Чат O...
Angular.js (1.x) — русско... Angular.js (1.x) — русско...
IDE и редакторы — русског... IDE и редакторы — русског...
Frontend_ru Frontend_ru
Flutter Developers — русс... Flutter Developers — русс...
AutoIT RU AutoIT RU
AI / Искусственный Интелл... AI / Искусственный Интелл...
Lame C Lame C
Laravel Framework Russian... Laravel Framework Russian...
WebPwnChat WebPwnChat
Чат — Верстка Сайтов и Фр... Чат — Верстка Сайтов и Фр...
pro.python pro.python
Java Underground Java Underground
dlang.ru dlang.ru
Natural Language Processi... Natural Language Processi...
javascript_ru javascript_ru
SqlCom.ru - сообщество MS... SqlCom.ru - сообщество MS...
Cinema 4D Cinema 4D
pro.vim pro.vim
PHP DevConf KZ🇰🇿 PHP DevConf KZ🇰🇿
Delphi Community Delphi Community
Autohotkey_RU ( v1 & v2 ) Autohotkey_RU ( v1 & v2 )
pro.rb (Ruby/Rails / RU) pro.rb (Ruby/Rails / RU)
RubyRush.ru RubyRush.ru
Oracle RU Oracle RU
DevOps DevOps
Server Side Swift Develop... Server Side Swift Develop...
Software Design/Architect... Software Design/Architect...
sql_ninja sql_ninja
AndroidDev Pro:: Професси... AndroidDev Pro:: Професси...
WordPress for developers WordPress for developers
Odoo talks & fun Odoo talks & fun
PowerShellRus - о Powersh... PowerShellRus - о Powersh...
Эльбрусы и с чем их едят Эльбрусы и с чем их едят
Java/Kotlin and more Java/Kotlin and more
Modern::Perl Modern::Perl
pro.buildsystems pro.buildsystems
ru.nim.talks ru.nim.talks
Powershell Rus Powershell Rus
Python для анализа данных Python для анализа данных
Распознавание и синтез ре... Распознавание и синтез ре...
Скрипты Гугл, Таблицы, Go... Скрипты Гугл, Таблицы, Go...
Haskell Start Haskell Start
WebGL ru WebGL ru
Compiler Development Compiler Development
firebase_ru — русскоговор... firebase_ru — русскоговор...
phpclub.ru phpclub.ru
RU.CRYPTOGRAPHY — Криптог... RU.CRYPTOGRAPHY — Криптог...
ErlangRus ErlangRus
embedded.rs Въевшаяся Ржа... embedded.rs Въевшаяся Ржа...
QA juniors QA juniors
GameDev for Web GameDev for Web
Electron.js Electron.js
RUSCADASEC community: Киб... RUSCADASEC community: Киб...
MySQL (EN) MySQL (EN)
Go Get A Job Go Get A Job
Lame C++ Lame C++
pro.osdev - os developmen... pro.osdev - os developmen...
ru_hashicorp ru_hashicorp
RU.Docker — Официальное Р... RU.Docker — Официальное Р...
Emacs — русскоговорящее с... Emacs — русскоговорящее с...
PostgreSQL (English) PostgreSQL (English)
Ember_js Ember_js
Django Django
FreePascal & Lazarus FreePascal & Lazarus
Tilda Developers Tilda Developers
WordPress – русскоговорящ... WordPress – русскоговорящ...
Grafana Loki Grafana Loki
Kaggle Kaggle
Язык программирования Jul... Язык программирования Jul...
ReasonML и OCaml ReasonML и OCaml
sentry_ru sentry_ru
ansible — русскоговорящее... ansible — русскоговорящее...
WebAssembly — русскоговор... WebAssembly — русскоговор...
Сrystal Lang — русскогово... Сrystal Lang — русскогово...
ITChat ITChat
aiohttp aiohttp
Clojure — русскоговорящее... Clojure — русскоговорящее...
heroku_ru heroku_ru
PowerShell Pro PowerShell Pro
systemd systemd
macOS Developers — русско... macOS Developers — русско...
use Perl or die; use Perl or die;
FORTH и родственные ЯП FORTH и родственные ЯП
ru_jenkins ru_jenkins
Natural Language Processi... Natural Language Processi...
CatBoost CatBoost
CyberBiology CyberBiology
Sequelize - community (en... Sequelize - community (en...
sonarqube_ru sonarqube_ru
Elm Lang сообщество разра... Elm Lang сообщество разра...
SublimeText_RU SublimeText_RU
NativeScript NativeScript
WordPress CodeRun WordPress CodeRun
ReactiveX - русскоговорящ... ReactiveX - русскоговорящ...
PureScript — русскоговоря... PureScript — русскоговоря...
#Вайти #Вайти
Эликсир и Вунш Эликсир и Вунш
Cassandra Cassandra
Compiler Development Compiler Development
Mar-Ort

Вопрос про data flow анализ: Как правильно join-ить ветки с break/continue

внутри циклов? В статьях, которые гуглятся, почему-то этого места не касаются.

#compilerdev #it #programming #russian
0

15 ответов

3 просмотра
Mar-Ort Автор вопроса

А если делать поверх АСТ? Вроде бы можно, через подпрыгиваение же?

0
8 месяцев назад
Alexander-Chichigin

Во-первых, это зависит от решётки, в которой Вы работаете, а во-вторых — в чём конкретно вопрос? Или какой неправильный способ их джойнить (в отличие от джойна if-then-else)?

0
8 месяцев назад
Mar-Ort Автор вопроса
Alexander Chichigin
Во-первых, это зависит от решётки, в которой Вы ра...

Если такое не в цикле, и какая-то из веток терминируется (например else), то мы берем то что было в оставшейся (then) Если же у нас к примеру такое for (;;) { if (c) { x = 10 } else { x= 20; continue/break } use(x) // 1 } use (x) // 2 То что должно быть в 1 и 2 для x?

0
8 месяцев назад
Alexander-Chichigin
Mar Ort
Если такое не в цикле, и какая-то из веток термини...

> Если такое не в цикле, и какая-то из веток терминируется (например else), то мы берем то что было в оставшейся (then) Вот этого я не понял, что значит "берем то что было в оставшейся"? Какой именно анализ Вы делаете и в какой решётке? > То что должно быть в 1 и 2 для x? Та от решётки же зависит, может быть просто Number, например...

0
8 месяцев назад
Mar-Ort Автор вопроса
Alexander Chichigin
> Если такое не в цикле, и какая-то из веток терми...

Решетка, видимо, символьная (выражение)

0
8 месяцев назад
Alexander-Chichigin
Mar Ort
Решетка, видимо, символьная (выражение)

Символьные тоже разные бывают. Без конкретики я не знаю, что Вам ответить...

0
8 месяцев назад
Alexander-Chichigin

Во-первых, 1, 2, 3, ..., Number тоже можно обозвать "символьной", потому что Number. Во-вторых, можно символьно использовать выражения того же самого языка, а можно другого. В-третьих, можно в символьные выражения ещё включать условия, а можно не включать. Это то, что из головы, и я символьными непосредственно не занимался, специалисты, поди, больше оттенков различают...

0
8 месяцев назад
Mar-Ort Автор вопроса
Alexander Chichigin
Во-первых, 1, 2, 3, ..., Number тоже можно обозват...

У меня в качестве символов используются выражения ast и есть флаги которые выводятся из проверок

0
8 месяцев назад
Mar-Ort Автор вопроса

Ну да

0
8 месяцев назад
Alexander-Chichigin
Mar Ort
Ну да

Z3, CVC4 плюс ещё по мелочи...

0
8 месяцев назад
Владислав-Катасонов
Mar Ort
А если делать поверх АСТ? Вроде бы можно, через по...

Тогда результат блока с continue должен пропагироваться в начало цикла(в проверку условия), а результат блока с break должен пропагироваться в конец цикла (в statement непосредственно после цикла) Или по-другому, нужно предшественниками условия цикла сделать не только прехедер и конец цикла, но все блоки с continue (для этого цикла). Break похожим образом делается

0
8 месяцев назад
Mar-Ort Автор вопроса
Владислав Катасонов
Тогда результат блока с continue должен пропагиров...

И правильно ли я понимаю, что каскадные условия (&& и ||) тоже декомпозируются в набор блоков с понятными входами и выходами

0
8 месяцев назад
Владислав-Катасонов
Mar Ort
И правильно ли я понимаю, что каскадные условия (&...

В целом, для них можно не хранить информацию о состоянии анализа - просто линейно пробегаться, как по if. Хранить информацию, вроде, достаточно только для блоков, тел цикла(с учётом условия) и goto-таргетов

0
8 месяцев назад

Похожие вопросы

Compiler Development Compiler Development / Konstantin Romanov
Подписаться

Вопрос по GOTO: это известно, что есть теоремы о полноте структурного программирования по отношению к GOTO (прыжки только внутри функции). a) Кто-нибудь делал ли преобразован...

#compilerdev #it #programming #russian
12.11.2023
0
30 ответов
Compiler Development Compiler Development / oleja ㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤ
Подписаться

Сейчас вернулся к проекту интерпретатора схемы с виртуальной машиной. Собираюсь добавить замыкания. Хочу уточнить правильно ли я понимаю, что мне вообще нужно делать. Раньше м...

#compilerdev #it #programming #russian
25.10.2023
0
23 ответов
Compiler Development Compiler Development / Mar Ort
Подписаться

Есть какие-нибудь хорошие статьи или примеры как организовывать CST? В частности как бы там правильно хранить комментарии

#compilerdev #it #programming #russian
18.07.2023
0
47 ответов
Compiler Development Compiler Development / Pavel Samolysov
Подписаться

Уважаемые коллеги, хочу задать вопрос по оценке оптимизаций. Есть оптимизации, которые после их применения компилятором "дают" 0.5%-3% выигрыша в числе попугаев на популярных ...

#compilerdev #it #programming #russian
16.11.2023
0
11 ответов
Compiler Development Compiler Development / Василий
Подписаться

Ты сам пишеш лексер/парсер или генератор за тебя? Во втором случае смотри документацию.

#compilerdev #it #programming #russian
11.09.2023
0
28 ответов
Compiler Development Compiler Development / Ilya Lakhin
Подписаться

Коллеги, позвольте я задам вопрос-оффтопик (надеюсь модераторы будут не против). Среди обитателей чата наверняка многие занимаются разработкой компиляторов профессионально. Р...

#compilerdev #it #programming #russian
13.10.2023
0
19 ответов
Compiler Development Compiler Development / Miroslav Belov
Подписаться

Где можно почитать о том как писать препроцессоры (ну вот как в C, NASM)? А точнее, что делать после токенизации и как хранить получившийся документ и перестановки (чтоб как С...

#compilerdev #it #programming #russian
12.06.2023
0
35 ответов
Compiler Development Compiler Development / Alex
Подписаться

Я в ходе обсуждения потерял что именно должен искать этот статический анализ. У меня есть предположение, что "инженерный" способ решения задачи - это переход на динамический а...

#compilerdev #it #programming #russian
10.09.2023
0
25 ответов
Compiler Development Compiler Development / Konstantin Romanov
Подписаться

@zukaboo спасибо за очень важные замечания. А как вам такой вариант? ______________ Очень часто разбор текста и построение из него дерева разбора (parse tree) удобно разбить н...

#compilerdev #it #programming #russian
08.10.2023
0
11 ответов
Compiler Development Compiler Development / Артём Корякин
Подписаться

А вообще важно на бака-лавре / специалитете компиляторную специальность иметь или всё равно нужно самому стараться и это не влияет ? Я слышал такое мнение, но до сих пор не ув...

#compilerdev #it #programming #russian
19.06.2023
0
32 ответов
Смотреть еще
Compiler Development Compiler Development
Подписаться
Вопросов 672
Ответов 3241
Участников 1449
Telegram @CompilerDev

Обсуждают сегодня

зачем же переименовывать ? чтобы кол-во участников возросло или вдруг IBM от этого снова на свифте начнет кодить ? Я не понимаю что страшного в том что свифт гавно, если это т...
Oleh Nerzh
10
Гайз, кто-нибудь пробовал запустить probe-rs под камень, которого нет в probe-rs? Мб есть какой-нибудь пример у кого... Через target-gen попробовал сгенерировать chip-descript...
Максим Смирнов
2
здравствуйте. совершаю вот такую вещь: strcpy(line, (char)current_number); где current number — неподписанный шорт, line — массив чаров. ругань следующая: main.c:29:30: error...
Roberto's Ширгозиев
13
я не магистр хаскеля, но разве не может лейзи тип конвертнуться в не-лейзи запросив вычисление содержимого прям при инициализации?
deadgnom32 λ madao
100
@MrMiscipitlick А можешь макрос написать, который будет вычислять смещение относительно переданных меток? Просто .label1-.label2, и вернуть значение.
КТ315
35
А еще в перле можно уже @arr1 + @arr2?
Sergei Zhmylove
53
Можно попросить небольшое ревью кода? Тут немнога, я ничего интереснее не придумал, чем написать аналог tree в качестве практики с cmake. https://github.com/hrimov/tree-unix/...
Andrew Hrimov
11
Всем привет. Ребят подскажите пожалуйста. Вопрос по дизасемблировани. Начну с начала. У меня есть скомпилированная программа на ГО (я разработчик) - в ней есть защита лицензии...
Zloy
11
Добрый день! Подскажите, пожалуйста: какими компетенциями нужно обладать, чтобы претендовать на работу эрланг (отдельная благодарность, если про элексир тоже подскажете) разр...
via ☸️ led
20
Но если Евгений и Алекс используют в боевых условиях, то почему нет? А ты как-то про бизнес больше задвигаешь, это имеет к разработке отношение, но все же этим больше другие л...
Keiman
5
Карта сайта