[[프로그래밍,programming]]
[[프로그래밍언어,programming_language]]
[[프로그래밍패러다임,programming_paradigm]]
[[프로그램_카운터,program_counter]]
프로그램동치 program_equivalence Srch:program_equivalence
[[프로그램분석,program_analysis]] - curr at [[분석,analysis]]
[[program_transformation]] { WpEn:Program_transformation = https://en.wikipedia.org/wiki/Program_transformation [[변환,transformation]] }
[[program_synthesis]]
{
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_verification]] = formal_verification
{
WpEn:Program_verification redir to [[WpEn:Formal_verification]] = https://en.wikipedia.org/wiki/Formal_verification
}
[[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
[[프로세스,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