실행,execution


symbolic_execution =,symbolic_execution =,symbolic_execution . symbolic_execution
{
symbolic execution

WtEn:symbolic_execution = https://en.wiktionary.org/wiki/symbolic_execution x 2023-12
https://ko.wikipedia.org/wiki/기호_실행
WpEn:Symbolic_execution = https://en.wikipedia.org/wiki/Symbolic_execution
(also symbolic_evaluation or symbex)
symbolic_evaluation =,symbolic_evaluation =,symbolic_evaluation . symbolic_evaluation
{
symbolic evaluation or symbex
WtEn:symbolic_evaluation WpEn:symbolic_evaluation ?
}
이때는

사실 실행평가,evaluation는 통하는 면이 있다 .....여기서는 같은 뜻.

rel - symbolic. 심볼릭,symbolic?
symbolic_simulation =,symbolic_simulation =,symbolic_simulation . symbolic_simulation
{
symbolic simulation
WtEn:symbolic_simulation
https://en.wikipedia.org/wiki/Symbolic_simulation
"symbolic simulation"
시뮬레이션,simulation
} // symbolic_simulation

symbolic_computation =,symbolic_computation =,symbolic_computation. symbolic_computation
{
symbolic computation
WtEn:symbolic_computation
https://en.wikipedia.org/wiki/Symbolic_computation
"symbolic computation"
} // symbolic computation


} // symbolic execution


Mach-O
이름 유래는 Mach(kernel)와 마초(macho) 에서?


ELF
WtEn:ELF
WpEn:ELF
(rel. DWARF =,DWARF . DWARF { WtEn:DWARF WpEn:DWARF } - ELF에 대한 말장난? debugging_file_format )


syn. binary file format ?
}

execution_unit =,execution_unit =,execution_unit . execution_unit (del ok)
{
CPU(+GPU)용어

이건 실행단위라고 번역하면 안 될 듯 하고. (오해를 불러일으킴) 실행장치가 최선인 듯. 장치,unit page mk?



execution_engine =,execution_engine =,execution_engine . execution_engine
{
JVM용어
execution engine
실행엔진 ?

"execution engine"
Ggl:execution engine Ndict:execution engine
} // execution engine

out-of-order_execution =,out-of-order_execution =,out-of-order_execution . out-of-order_execution |=,OoOE OoOE
dynamic_execution =,dynamic_execution =,dynamic_execution . dynamic_execution
{
out-of-order execution
dynamic execution

비순차적실행
비순차실행
...


...
"out-of-order execution"
Ggl:out-of-order execution
"dynamic execution"
Ggl:dynamic execution
}

speculative_execution =,speculative_execution =,speculative_execution . speculative_execution
{
speculative execution



ADDHERE
ADDHERE
ADDHERE


*****************************************************

Topics

intermediate_representation (IR) =,intermediate_representation . intermediate_representation |=,IR IR
{

MKL
parsing



특히 그 표현이 언어일 경우

intermediate_language (IL) =,intermediate_language . intermediate_language |=,IL IL
{
WtEn:intermediate_language
}

mkl
abstract_syntax_tree (AST)



Rel:

제어흐름,control_flow =,control_flow =,control_flow . control_flow { WtEn:control_flow Up: 제어,control 흐름,flow }

flow_analysis =,flow_analysis . flow_analysis
flow analysis
https://en.wikipedia.org/wiki/Flow_analysis
WtEn:flow_analysis x 2024-01-03
"flow analysis"
Ggl:flow analysis
qqq aka "control flow analysis"? chk Ggl:control flow analysis

runtime ...런타임,runtime? - curr at 시간,time
실행시간,execution_time과 동의어일 수 있음.





프로그램,program의 life cycle에서, 실행이 이루어지고 있는 시간,time은 런타임 runtime = run_time. 그리고 이 때 프로그램은 'running'.[1]






Syn:
수행
running Srch:running