프로그램,program

Difference between r1.12 and the current

@@ -1,21 +1,12 @@
#noindex
##======프로그램,program =,program 프로그램 program
[[프로그래밍,programming]]
[[프로그래밍언어,programming_language]]
[[프로그래밍패러다임,programming_paradigm]]
[[프로그램_카운터,program_counter]]
프로그램동치 program_equivalence Srch:program_equivalence
프로그램동치 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
{
@@ -85,6 +76,7 @@
...

}
[[설치,installation]]

----
Twins:
@@ -92,4 +84,8 @@
https://hut.mearie.org/program/
http://www.linfo.org/program.html

https://mathworld.wolfram.com/Program.html
{
[[명령어,instruction]]의 정확한 sequence. 프로그램의 예로 [[컴퓨터,computer]]에서 [[프로그래밍언어,programming_language]]를 써서 [[알고리듬,algorithm]]을 [[구현,implementation]]하는 것이 있다.
}
... Google:program+definition



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

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

WtEn:program_synthesis = https://en.wiktionary.org/wiki/program_synthesis x 2023-11-24
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




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/프로그램_내장식_컴퓨터


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