Difference between r1.2 and the current
@@ -10,10 +10,10 @@
Sub
supercompilation
{
mazeppa-dev/mazeppa: A modern supercompiler for call-by-value functional languages
----
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]
"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?tab=readme-ov-file
https://github.com/mazeppa-dev/mazeppa
}----
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) }