Patent Document ID: 9229696
Application ID: 13902636

Base Claim:
1. A computer-implemented method for defining declarative code in an intermediate machine readable representation, including: specifying a plurality of programming constructs of a declarative programming language, wherein the declarative programming language adheres to an order independent execution model that facilitates entering values into a data abstraction of the order independent execution model in an order unobservable to a target repository, and wherein the specifying further includes specifying state information about at least one programming construct of the plurality of programming constructs; and generating a machine readable intermediate language representation of the declarative programming language, wherein data representing the declarative programming language according to the intermediate language representation can be stored in any of a plurality of underlying storage abstractions, and wherein the generating includes representing the state information as at least one attached property, wherein the generating includes representing type checking data in the at least one abstract syntax tree structure as at least one other attached property, the type checking data used to confirm validity of a particular programming construct, wherein the generating includes versioning at least one node of a pre-existing abstract syntax tree structure.

---

Claim 4:
4. The computer-implemented method of claim 1 , wherein the generating includes modifying at least one node of a pre-existing abstract syntax tree structure.