프로그램,program in RRWiki

Difference between r1.7 and the current

@@ -3,8 +3,68 @@

[[프로그래밍패러다임,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]]
{

@@ -28,7 +88,12 @@

----
Twins:

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]]하는 것이 있다.

}

... Google:program+definition

프로그래밍,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

program_transformation

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

이것의 일반화: program_refinement =,program_refinement . program_refinement { linked to:

Program_refinement ... redir to(2023-11-24):

Refinement_(computing) }

프로그램,program 변환,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"