Описание тега anf
A-нормальная форма или административная нормальная форма (сокращенно ANF) - это промежуточное представление программ в функциональных компиляторах.
0
ответов
Расчет административной нормальной формы
Нормальная административная форма - это промежуточное представление кода, подходящего для использования компиляторами, которое логически эквивалентно статическому одиночному назначению, но имеет некоторые преимущества, например, проверка того, наход…
26 апр '18 в 17:55
0
ответов
Преобразование операторов возврата в нормальную форму
Я пытаюсь выяснить, как преобразовать императивный код в A-нормальную форму. Я вижу, как это сделать для многих конструкций. Например, do ... while цикл может преобразовать в letrec loop() = body let t = test if t then loop() else () loop() continue…
18 фев '19 в 10:37
0
ответов
пример tvm letnode
В твм, согласно документам Привязка Let используется во всех языках программирования высокого уровня. В Relay это структура данных с тремя полями Let(var, value, body). Когда мы оцениваем выражение let, мы сначала оцениваем часть значения, присваива…
17 окт '22 в 03:37