프로그램,program in RRWiki

Difference between r1.15 and the current

@@ -4,18 +4,7 @@

[[프로그램_카운터,program_counter]]
프로그램동치 program_equivalence Srch:program_equivalence .... [[동치,equivalence]]
[[프로그램분석,program_analysis]] - curr at [[분석,analysis]]

[[프로그램변환,program_transformation]] ~~=프로그램변환,program_transformation =,program_transformation . 프로그램변환 program_transformation~~

{

~~program transformation~~

~~프로그램변환~~

~~[[프로그램,program]]~~

~~[[변환,transformation]]~~

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

}

[[프로그램변환,program_transformation]] - [[변환,transformation]]

[[program_synthesis]] =,program_synthesis =,program_synthesis . program_synthesis
{

프로그래밍,programming
프로그래밍언어,programming_language
프로그래밍패러다임,programming_paradigm
프로그램_카운터,program_counter
프로그램동치 program_equivalence

program_equivalence .... 동치,equivalence
프로그램분석,program_analysis - curr at 분석,analysis
프로그램변환,program_transformation - 변환,transformation

program_synthesis =,program_synthesis =,program_synthesis . program_synthesis
{
program synthesis

프로그램합성 ?
프로그램,program
합성,synthesis?

program_synthesis = https://en.wiktionary.org/wiki/program_synthesis x 2023-11-24

Program_synthesis = https://en.wikipedia.org/wiki/Program_synthesis

"is the task to construct a program that provably satisfies a given high-level formal specification. In contrast to program_verification, the program is to be constructed rather than given"

"program synthesis"