Session 5

Jump to bottom

Alex Gryzlov edited this page Feb 18, 2019 · 1 revision

PCF untyped & typed bytecode, simple compiler and virtual machine

Ager, Biernacki, Danvy, Midtgaard, "From Interpreter to Compiler and Virtual Machine: A Functional Derivation"

Homework

Напишите функцию decompile, переводящую нетипизированный байткод из PCF.Untyped.InstructN назад в AST термов.
То же для типизированного байткода из PCF.InstructN