[[프로그래밍,programming]]
[[프로그래밍언어,programming_language]]
[[프로그래밍패러다임,programming_paradigm]]
[[프로그램_카운터,program_counter]]
프로그램동치 program_equivalence Srch:program_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_synthesis]] =,program_synthesis =,program_synthesis . program_synthesis
{
program synthesis

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

WtEn:program_synthesis = https://en.wiktionary.org/wiki/program_synthesis x [[Date(2023-11-23T15:23:28)]]
[[WpEn: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"
Ndict:"program synthesis"
Naver:"program synthesis"
Ggl:"program synthesis"

Up: [[합성,synthesis]] ?
}

[[program_verification]] = formal_verification 
{
// WtEn:program_verification ?
// WtEn:formal_verification ?

WpEn:Program_verification redir to [[WpEn:Formal_verification]] = https://en.wikipedia.org/wiki/Formal_verification
}

[[program_derivation]] =,program_derivation . program_derivation
{
WtEn:program_derivation ?

[[WpEn:Program_derivation]]
= https://en.wikipedia.org/wiki/Program_derivation
 "is the derivation of a program from its specification, by mathematical means."
}

----
MKLINK
'''프로그램''' 내장 방식 - 폰 노이만 구조 [[von_Neumann_architecture]] =,von_Neumann_architecture . von_Neumann_architecture ? ... among [[컴퓨터구조,computer_architecture]] of [[컴퓨터,computer]]. { https://ko.wikipedia.org/wiki/프로그램_내장식_컴퓨터 

WtEn:von_Neumann_architecture ?

Ggl:"프로그램 내장 폰 노이만 구조"
Bing:"프로그램 내장 폰 노이만 구조"
"프로그램 내장 폰 노이만 구조"
"프로그램 내장 폰 노이만 구조"
}
[[프로세스,process]]
[[개발,development]]
{
[[소프트웨어,software]]([[프로그램,program]], [[라이브러리,library]], ...)
서비스([[웹사이트,website]], [[앱,app]], ...)
솔루션
... 등을 만드는.

[[컴파일러,compiler]]
[[링커,linker]]
[[디버거,debugger]]
[[IDE]] 등을 사용.
...

Sub:
[[웹개발,web_development]] - [[웹,web]]
[[게임개발,game_development]] - [[게임,game]]
...

}

----
Twins:
https://hut.mearie.org/program/
http://www.linfo.org/program.html

... Google:program+definition