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

Claim 18:
19. A computer-readable medium having program code recorded thereon that when executed by at least one processor causes the at least one processor to perform a method for communicating potential cell execution outcomes in an interactive programming environment, the method comprising:
performing an analysis comprising:
receiving an event related to a first cell;
based at least on determining that no user initiated what-if analysis is associated with the event:
executing, 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
storing in memory an 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 executing, 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
communicating information related to outcomes of one or both of the intra-cell static analysis and the inter-cell analysis.