Sub:
executable_code - 코드,code
conditional_execution - 조건부,conditional 조건,condition
실행모형,execution_model
executable_code - 코드,code
conditional_execution - 조건부,conditional 조건,condition
실행모형,execution_model
symbolic_execution =,symbolic_execution =,symbolic_execution . symbolic_execution
{
symbolic execution
{
symbolic execution
symbolic_execution = https://en.wiktionary.org/wiki/symbolic_execution x 2023-12
https://ko.wikipedia.org/wiki/기호_실행
Symbolic_execution = https://en.wikipedia.org/wiki/Symbolic_execution
https://ko.wikipedia.org/wiki/기호_실행
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
symbolic_evaluation symbolic_evaluation ?
}
이때는
사실 실행과 평가,evaluation는 통하는 면이 있다 .....여기서는 같은 뜻.symbolic_evaluation =,symbolic_evaluation =,symbolic_evaluation . symbolic_evaluation
{
symbolic evaluation or symbex
symbolic_evaluation symbolic_evaluation ?
}
이때는
rel - symbolic. 심볼릭,symbolic?
symbolic_simulation =,symbolic_simulation =,symbolic_simulation . symbolic_simulation
{
symbolic simulation
symbolic_simulation
https://en.wikipedia.org/wiki/Symbolic_simulation
"symbolic simulation"
시뮬레이션,simulation
} // symbolic_simulation
symbolic_simulation =,symbolic_simulation =,symbolic_simulation . symbolic_simulation
{
symbolic simulation
symbolic_simulation
https://en.wikipedia.org/wiki/Symbolic_simulation
"symbolic simulation"
시뮬레이션,simulation
} // symbolic_simulation
symbolic_computation =,symbolic_computation =,symbolic_computation. symbolic_computation
{
symbolic computation
symbolic_computation
https://en.wikipedia.org/wiki/Symbolic_computation
} // symbolic computation
{
symbolic computation
symbolic_computation
https://en.wikipedia.org/wiki/Symbolic_computation
2023-12-02 Redir to https://en.wikipedia.org/wiki/Computer_algebra
"symbolic computation"} // symbolic computation
} // symbolic execution
실행파일,executable_file - 파일,file
executable_file_format =,executable_file_format =,executable_file_format . executable_file_format
{
executable_file_format
executable file format
https://en.wiktionary.org/wiki/executable_file_format x 2023-08-29
.COM (DOS)
{
http://fileformats.archiveteam.org/wiki/DOS_executable_(.com)
=
http://fileformats.archiveteam.org/wiki/DOS_executable_(.com)
}
executable_file_format =,executable_file_format =,executable_file_format . executable_file_format
{
executable_file_format
executable file format
.COM (DOS)
{
http://fileformats.archiveteam.org/wiki/DOS_executable_(.com)
=
http://fileformats.archiveteam.org/wiki/DOS_executable_(.com)
}
Mach-O
이름 유래는 Mach(kernel)와 마초(macho) 에서?
이름 유래는 Mach(kernel)와 마초(macho) 에서?
syn. binary file format ?
}
}
이건 실행단위라고 번역하면 안 될 듯 하고. (오해를 불러일으킴) 실행장치가 최선인 듯. 장치,unit page mk?
https://en.wiktionary.org/wiki/execution_unit x 2023-08-29
https://ko.wikipedia.org/wiki/실행_장치
https://en.wikipedia.org/wiki/Execution_unit
https://ja.wikipedia.org/wiki/実行ユニット
}
https://en.wikipedia.org/wiki/Execution_unit
https://ja.wikipedia.org/wiki/実行ユニット
}
execution_engine =,execution_engine =,execution_engine . execution_engine
{
JVM용어
execution engine
실행엔진 ?
{
JVM용어
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
dynamic_execution =,dynamic_execution =,dynamic_execution . dynamic_execution
{
out-of-order execution
dynamic execution
비순차적실행
비순차실행
...
비순차실행
...
speculative_execution =,speculative_execution =,speculative_execution . speculative_execution
{
speculative execution
{
speculative execution
Speculative_execution = https://en.wikipedia.org/wiki/Speculative_execution
}// speculative execution ... speculative execution (x 2024-08-02) speculative execution speculative execution speculative execution
}// speculative execution ... speculative execution (x 2024-08-02) speculative execution speculative execution speculative execution
ADDHERE
ADDHERE
ADDHERE
ADDHERE
ADDHERE
*****************************************************
Topics
intermediate_representation (IR) =,intermediate_representation . intermediate_representation |=,IR IR
{
{
MKL
parsing
parsing
intermediate_representation
중간_표현
= https://ko.wikipedia.org/wiki/중간_표현
Intermediate_representation
= https://en.wikipedia.org/wiki/Intermediate_representation
}
중간_표현
= https://ko.wikipedia.org/wiki/중간_표현
Intermediate_representation
= https://en.wikipedia.org/wiki/Intermediate_representation
}
특히 그 표현이 언어일 경우
intermediate_language (IL) =,intermediate_language . intermediate_language |=,IL IL
{
intermediate_language
}
{
intermediate_language
}
mkl
abstract_syntax_tree (AST)
abstract_syntax_tree (AST)
Rel:
제어흐름,control_flow =,control_flow =,control_flow . control_flow { control_flow Up: 제어,control 흐름,flow }
flow_analysis =,flow_analysis . flow_analysis
실행시간,execution_time과 동의어일 수 있음.
flow analysis
https://en.wikipedia.org/wiki/Flow_analysis
flow_analysis x 2024-01-03
"flow analysis"
flow analysis
qqq aka "control flow analysis"? chk control flow analysis
runtime ...런타임,runtime? - curr at 시간,timehttps://en.wikipedia.org/wiki/Flow_analysis
flow_analysis x 2024-01-03
"flow analysis"
flow analysis
qqq aka "control flow analysis"? chk control flow analysis
실행시간,execution_time과 동의어일 수 있음.
프로그램,program의 life cycle에서, 실행이 이루어지고 있는 시간,time은 런타임 runtime = run_time. 그리고 이 때 프로그램은 'running'.[1]