Abstract interpretation
Computer science
Symbolic execution
Thread
Algorithm
Computing
Electrical engineering
Computer engineering