US 12,327,096 B2
Deferred formula computation
Gregory S. Lindhorst, Seattle, WA (US); Jonathan Michael Stall, Woodinville, WA (US); Shantanu Kiran Pakhare, Redmond, WA (US); Vamsi Modem, Snohomish, WA (US); and Lee McCall Saltzman, Seattle, WA (US)
Assigned to Microsoft Technology Licensing, LLC, Redmond, WA (US)
Filed by Microsoft Technology Licensing, LLC, Redmond, WA (US)
Filed on Nov. 3, 2022, as Appl. No. 18/052,263.
Claims priority of provisional application 63/394,114, filed on Aug. 1, 2022.
Prior Publication US 2024/0036840 A1, Feb. 1, 2024
Int. Cl. G06F 8/41 (2018.01)
CPC G06F 8/433 (2013.01) 20 Claims
OG exemplary drawing
 
1. A method comprising:
executing software containing a set of programmed formulas according to a declarative programming scheme, wherein the set includes a first programmed formula defined in an associated dependency graph to be dependent on a result of a second programmed formula;
encountering a reference to the first programmed formula during execution of the software, wherein the reference is associated with deferred formula computation request program code in the executing software to obtain a result of the first programmed formula;
identifying during execution of the software the second programmed formula based on traversal within the associated dependency graph of the first programmed formula;
computing a result of the second programmed formula during execution of the software, based on the identifying;
computing the result of the first programmed formula during execution of the software, based on computing the result of the second programmed formula; and
returning the computed result of the first programmed formula in association with the reference to the first programmed formula during execution of the software.