Результаты поиска

...ажение (информатика)|выражение]]''' ({{lang-en|Available expression}}) в [[Теория|теории]] построения [[компилятор]]ов — некоторое [[Выражение (информатика)| [[Категория:Теория компиляторов]] ...

'''Доминатор''' в [[Теория графов|теории графов]] — [[бинарное отношение]] на узлах [[Ориентированный ...ка управления|графах потока управления]], используемых в теории построения компиляторов. ...

...ьный<ref>''Серебряков В. А., Галочкин М. П., Гончар Д. Р., Фуругян М. Г.'' Теория и реализация языков программирования. — М. : МЗ-Пресс, 2006. — С. 21. — ISB ...зоваться при анализе текстов на естественных языках, однако при построении компиляторов практически не используются в силу своей сложности. ...

|заглавие = Основные концепции компиляторов ...чар Д. Р., Фуругян М. Г.'' [http://trpl7.ru/t-books/TRYAP_BOOK_Details.htm Теория и реализация языков программирования] — М.: МЗ-Пресс, 2006 г., 2-е изд. — I ...

В современных языках программирования, благодаря оптимизации [[компилятор|компиляторов]] и [[интерпретатор|интерпретаторов]], различия в производительности между {{Теория множеств}} ...

Направленный [[полный граф]] называется '''[[Турнир (теория графов)|турниром]]'''. ...связями. К примеру, одна из основных структур, используемых при разработке компиляторов и вообще для представления компьютерных программ — граф потоков данных. ...

[[Категория:Теория компиляторов]] ...

Алгебраический подход к переписыванию графов основан на [[Теория категорий|теории категории]]. Алгебраический подход подразделяется на субпо ...как детерминированное переписывание графов, вышел из [[Логика|логики]] и [[Теория баз данных|теории баз данных]]. В этом подходе графы рассматриваются как эк ...

...овая переменная'') в [[язык программирования|языках программирования]] и [[Теория типов|теории типов]] — [[переменная (математика)|переменная]], которая може ...твенного (и спорно оправданного) усложнения определения языка и реализации компиляторов (половина страниц Определения содержат ту или иную поправку на них)<ref>{{с ...

...к типизации; во многом в связи с этим язык назван в честь исследователя [[Теория типов|теории типов]] и изобретателя [[Комбинаторная логика|комбинаторной ло ..., запущенные в нём, выполняются медленнее, чем код, созданный большинством компиляторов языка Haskell. HUGS часто рекомендуют в качестве среды для изучения языка. ...

...— это, неформально, представление графа ''G'' в виде «утолщённого» [[Путь (теория графов)|пути]]{{sfn|Diestel, Kühn|2005}}, а '''путевая ширина''' графа ''G' ...а также как '''интервальная толщина''' (на единицу меньше размера [[Клика (теория графов)|наибольшей клики]] [[Интервальный граф|интервального]] [[Глоссарий ...

...нейшее развитие<ref>{{Книга|автор=В.Э. Карпов|заглавие=КЛАССИЧЕСКАЯ ТЕОРИЯ КОМПИЛЯТОРОВ|ответственный=|издание=Учебное пособие. 2-е изд.|место=Москва|издательство= Среди бесплатных компиляторов Фортран следует выделить компилятор от бывшей [[Sun Microsystems]] (сейчас ...

...из более высокоуровневых языков с тем, чтобы обеспечить лучшее разделение компиляторов на [[фронтенд и бэкенд]]. ...в некотором смысле позволяет использовать плюсы как интерпретаторов, так и компиляторов. ...

...ные функторы (в SML Basis’2004 их не так много, но в расширениях некоторых компиляторов и в [[OCaml]] есть очень интересные примеры). Многие годы язык модулей ML на [[теория типов|теоретико-типовом]] уровне рассматривался как приложение теории [[зав ...