Caution

Under construction.

This folder explores the call graph analysis algorithm (to be) used in narxia.

• Problem statement attempts to formally define the problem we are trying to solve.
• Heuristics defines some heuristics we can use to solve the problem.
• Computing the execution plan: details the algorithm used to solve the problem.