1. A 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 programming 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 the generating includes representing the state information as at least one attached property.