- Questions that can be asked about programs:
- Will a certain program always finish faster than program B?
- Will a certain program always produce an output?
- And so on.
- Instead of experimenting (actually executing) these questions, this field aims to create mathematical models and prove them.
- The approach is similar to what is known as “pseudo code”.
- It abstracts the “execution of a program”.
- What are the benefits?
- It can answer various questions.
- Does program A and B always produce the same result?
- If this is known, the safety of compiler optimizations can be proven.
- Although the execution model needs abstraction, it might work with a certain graph representation.
- Analysis of time cost/space cost.
- Execution models are said to excel in this area.
#information Science (Expert in Information Science)