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, 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 of patent application 12363738 and associated parts of said constraint objects within an implementation neutral, domain specific specification of said desired computation; and 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; creating synthetic partitioning constraints that extend the partitioning constraints of patent application 12363738 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.