프로그래밍,programming
프로그래밍언어,programming_language
프로그래밍패러다임,programming_paradigm
프로그램_카운터,program_counter
프로그램동치 program_equivalence
program_equivalence
프로그램분석,program_analysis - curr at 분석,analysis
프로그램변환,program_transformation =프로그램변환,program_transformation =,program_transformation . 프로그램변환 program_transformation
{
program transformation
프로그램변환
프로그램,program
변환,transformation
프로그래밍언어,programming_language
프로그래밍패러다임,programming_paradigm
프로그램_카운터,program_counter
프로그램동치 program_equivalence
![Srch: Srch:](/wiki/imgs/interwiki/srch-16.png)
프로그램분석,program_analysis - curr at 분석,analysis
프로그램변환,program_transformation =프로그램변환,program_transformation =,program_transformation . 프로그램변환 program_transformation
{
program transformation
프로그램변환
프로그램,program
변환,transformation
![WtEn: WtEn:](/wiki/imgs/interwiki/wten-16.png)
![WpEn: WpEn:](/wiki/imgs/interwiki/wpen-16.png)
이것의 일반화: program_refinement =,program_refinement . program_refinement { linked to:
Program_refinement ... redir to(2023-11-24):
Refinement_(computing) }
프로그램,program 변환,transformation![WpEn: WpEn:](/wiki/imgs/interwiki/wpen-16.png)
![WpEn: WpEn:](/wiki/imgs/interwiki/wpen-16.png)
}
![WtEn: WtEn:](/wiki/imgs/interwiki/wten-16.png)
![WpEn: WpEn:](/wiki/imgs/interwiki/wpen-16.png)
"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: Ndict:](/wiki/imgs/interwiki/ndict-16.png)
![Naver: Naver:](/wiki/imgs/interwiki/naver-16.png)
![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
![WpEn: WpEn:](/wiki/imgs/interwiki/wpen-16.png)
![WpEn: WpEn:](/wiki/imgs/interwiki/wpen-16.png)
}
![WpEn: WpEn:](/wiki/imgs/interwiki/wpen-16.png)
= 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/프로그램_내장식_컴퓨터
프로그램 내장 방식 - 폰 노이만 구조 von_Neumann_architecture =,von_Neumann_architecture . von_Neumann_architecture ? ... among 컴퓨터구조,computer_architecture of 컴퓨터,computer. { https://ko.wikipedia.org/wiki/프로그램_내장식_컴퓨터
![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
![Bing: Bing:](/wiki/imgs/interwiki/bing-16.png)
"프로그램 내장 폰 노이만 구조"
"프로그램 내장 폰 노이만 구조"
}
프로세스,process
개발,development
{
소프트웨어,software(프로그램,program, 라이브러리,library, ...)
서비스(웹사이트,website, 앱,app, ...)
솔루션
... 등을 만드는.
}
Twins:
http://www.terms.co.kr/program.htm
https://hut.mearie.org/program/
http://www.linfo.org/program.html
http://www.terms.co.kr/program.htm
https://hut.mearie.org/program/
http://www.linfo.org/program.html
https://mathworld.wolfram.com/Program.html
{
명령어,instruction의 정확한 sequence. 프로그램의 예로 컴퓨터,computer에서 프로그래밍언어,programming_language를 써서 알고리듬,algorithm을 구현,implementation하는 것이 있다.
}
...
program definition
{
명령어,instruction의 정확한 sequence. 프로그램의 예로 컴퓨터,computer에서 프로그래밍언어,programming_language를 써서 알고리듬,algorithm을 구현,implementation하는 것이 있다.
}
...
![Google: Google:](/wiki/imgs/interwiki/google-16.png)