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?tab=readme-ov-file#user-content-fnref-turchin-concept-2-b7769276de21bccb059d7353ca6f11d0
}
https://github.com/mazeppa-dev/mazeppa?tab=readme-ov-file#user-content-fnref-turchin-concept-2-b7769276de21bccb059d7353ca6f11d0
}
program_transformation
Program_transformation = https://en.wikipedia.org/wiki/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 변환,transformation