1. A method of using synthetic partitioning constraints to automatically impose a programming language level implementation infrastructure onto a logical architecture of a desired computation wherein each step of said method uses a computer, the method comprising: using a domain specific specification of a desired execution platform as input to said method; wherein said specification of a desired execution platform implies desired design features for an implementation form of said desired computation; using a logical architecture of said desired computation as input to said method; wherein said desired computation is expressed as an implementation neutral computational specification; wherein said desired computation is associated with said logical architecture; wherein said logical architecture is a partial and provisional specification of at least some design features of said desired computation; wherein said logical architecture includes constraint objects and associated parts of said constraint objects within an implementation neutral, domain specific specification of said desired computation; wherein said constraint objects limit a legitimate set of possible implementation forms to one or more eventual programming language expressions of said desired computation that are consistent with said constraint objects and their associated parts; wherein said constraint objects may be, among other things, partitioning constraint objects, which represent implied partitions of computer code that exploits high capability features of the desired execution platform such that said implied partitions derived from said constraint objects are logically consistent with a set of logical assertions and abstract precursors to said logical assertions that are part of one or more definitions of said constraint objects; wherein said constraint objects may represent, among other things, implied iteration objects such that one or more eventual programming language expressions derived from said implied iteration objects are logically consistent with a set of logical assertions and abstract precursors to said logical assertions that are part of one or more definitions of said implied iteration objects; and wherein a decomposition of said desired computation into separate pieces of an overall computation can be automatically inferred from a partitioning constraint object; creating synthetic partitioning constraints that extend said partitioning constraint objects by requiring that said logical architecture or elements thereof be integrated and coordinated with a program language level framework, wherein said framework includes, a) said desired design features for an implementation of said desired computation, b) a set of interrelated skeletal programming language level routines, their control structure and any global data required by said framework thereby introducing some code level infrastructure to support a target computation without specifying what said target computation will compute, and c) a set of methods for producing an integration of said logical architecture and said framework in a fully coordinated, correct and consistent manner; wherein said logical architecture provides computational elements of said target computation; wherein execution of said integration will produce correct results for said desired computation and will exploit said desired design features implied by said domain specific specification of said desired execution platform; applying said synthetic partitioning constraints to manufacture a programming level implementation form that correctly integrates said desired computation with said framework such that executions of said programming level implementation will accomplish said desired computation.