program transformation
프로그램변환
프로그램변환
Sub
supercompilation
{
"Supercompilation is a program transformation technique that symbolically evaluates a given program, with run-time values as unknowns."[1]
supercompilation
{
"Supercompilation is a program transformation technique that symbolically evaluates a given program, with run-time values as unknowns."[1]
mazeppa-dev/mazeppa: A modern supercompiler for call-by-value functional languages
https://github.com/mazeppa-dev/mazeppa
}
https://github.com/mazeppa-dev/mazeppa
}
program_transformation
Program_transformation = https://en.wikipedia.org/wiki/Program_transformation이것의 일반화: program_refinement =,program_refinement . program_refinement { linked to: Program_refinement ... redir to(2023-11-24): Refinement_(computing) }
프로그램,program 변환,transformationProgram_refinement ... redir to(2023-11-24): Refinement_(computing) }