Скачать
L3: Textual Reduction (Spring 2022)
Автор: Kristopher Micinski
Загружено: 2022-01-31
Просмотров: 1418
Описание:
In this lecture we introduce, semi-formally, the semantics of a language we call IfArith using a technique named textual reduction. Textual reduction semantics allow defining the meaning of a program by means of a series of small local "reductions" as computation progresses to arrive (finally) at a value.
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке:
