this is for holding javascript data
Steven Evans added The_notion_of_a_call__.md
about 8 years ago
Commit id: a1ad9d40fee97c48ba8bd144a2e8fdd9f77422cf
deletions | additions
diff --git a/The_notion_of_a_call__.md b/The_notion_of_a_call__.md
new file mode 100644
index 0000000..cccc70f
--- /dev/null
+++ b/The_notion_of_a_call__.md
...
The notion of a call stack is a dynamic one that would be normally be seen in an execution trace even though this analysis is static. The information needed to complete the analysis meaningfully can be derived from a call graph. A call graph can be used to determine which functions can possibly be called from any function. That determination is used to derive any recursion as well as the necessary contexts that will be needed when solving for \(A'\) so breaking pledges are not made.