1. A method for automatically translating input code to a computer executable output program representation, the method comprising: providing an input source program, wherein said input source program is expressed in a language that provides for dynamic collection attributes (DCAs), and wherein said dynamic collection attributes are data elements capable of having a variable number of indexed members at run time; wherein said DCAs have member-type properties determined by types of said indexed members of said DCAs, and wherein said language further provides for specifying collective properties of said DCAs that are distinct from said member-type properties; wherein said input source program includes one or more instances of DCAs having specified collective properties, and includes one or more expressions involving said one or more instances of DCAs; automatically translating said expressions to corresponding computer executable expression representations according to said specified collective properties; including said expression representations in said computer executable output program representation; and providing said computer executable output program representation as an output.