#noindex
##========프로그램변환,program_transformation =,program_transformation . 프로그램변환 program_transformation
program transformation
프로그램변환

[[프로그램,program]]
[[변환,transformation]]

----
Sub
supercompilation
{
"Supercompilation is a program transformation technique that symbolically evaluates a given program, with run-time values as unknowns."[* https://github.com/mazeppa-dev/mazeppa]

mazeppa-dev/mazeppa: A modern supercompiler for call-by-value functional languages
https://github.com/mazeppa-dev/mazeppa?tab=readme-ov-file
}

----
WtEn:program_transformation
WpEn:Program_transformation = https://en.wikipedia.org/wiki/Program_transformation
 이것의 일반화: [[program_refinement]] =,program_refinement . program_refinement { linked to: [[WpEn:Program_refinement]] ... redir to([[Date(2023-11-23T15:23:28)]]): [[WpEn:Refinement_(computing)]] }
[[프로그램,program]] [[변환,transformation]]