Patent ID: 11860766
Assignee: MICROSOFT TECHNOLOGY LICENSING, LLC
Field: Computer technology (Electrical engineering)
Classification: CPC G | IPC G

Claim 0:
1. A system for communicating potential cell execution outcomes in an interactive programming environment, the system comprising:
a processor circuit;
a memory device, the memory device storing program code to be executed by the processor circuit, the program code comprising:
an analysis engine that:
receives an event related to a first cell;
based at least on determining that no user initiated what-if analysis is associated with the event:
executes, in the abstract domain, intra-cell static analysis for the first cell based on a current global abstract state and abstract semantics of the first cell to generate an updated global abstract state; and
stores in memory the updated global abstract state generated based on the intra-cell static analysis of the first cell; and

based at least on determining that a user initiated what-if analysis is associated with the event:
starting with the stored global abstract state, recursively executes, until a terminating criteria is reached, inter-cell analysis on each successor cell of a plurality of cells including the first cell for which the successor cell has a propagation dependency relative to a global abstract state generated by a respective predecessor cell of the successor cell; and
communicates information related to outcomes of one or both of the intra-cell static analysis and the inter-cell analysis.