#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?tab=readme-ov-file#user-content-fnref-turchin-concept-6040eda29e7ad214463aa8edc4d4e26e]

mazeppa-dev/mazeppa: A modern supercompiler for call-by-value functional languages
https://github.com/mazeppa-dev/mazeppa
}

----
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]]