1. A method of automatically translating an implementation independent specification of a computation and a separate specification of a high capability execution platform into an executable implementation for said high capability execution platform such that said executable implementation exploits those computational capabilities of said high capability execution platform that cause improvement of said program execution in an objectively measurable way or ways, wherein said implementation independent specification of a computation is a specification that is substantially the same for all execution platforms, wherein said high capability execution platform is an execution platform that generally allows for improvement in program execution in some objectively measurable way or ways over a basic, sequential computer with a Von Neumann architecture, wherein said improvements include but are not limited to parallelism, accelerated memory access, cache behavior improvements, overall performance, total computation time, memory size, reliability, and security, wherein said method of claim 1 includes but is not limited to the architecture of FIG. 1 a and the methods, behaviors, and machinery defined and illustrated in FIGS. 1 b , 1 c , 4 - 60 , and tables 2-4, comprising: providing a first means of specifying domain specific operators and operands, including but not limited to the class definition, the class method-transform definition, the operator definition, the pattern-directed transformation definition, the dynamic deferred transformation definition, the type inference rules for operators definition and the type inference rules for method definitions, all from table 2 and FIGS. 53-57 ; providing a second means for specifying said implementation independent specification of said computation, including but not limited to an expression of application domain specific operators, operands, variables, and constant data that define said computation; providing a third means for specifying said high capability execution platform, including but not limited to an expression of execution platform specific operators, operands, variables, and constant data that describe architectural features of said execution platform; providing a fourth means for specifying a transformation that rewrites an expression, called a transformation step for short, wherein the transformation specification method includes but is not limited to the pattern-directed transformation definition, the operator definition, the class method-transform definition, the dynamic deferred transformation definition, the type inference rules for operators definition, and the type inference rules for methods definition, all from table 2 and FIGS. 53-56 ; providing a fifth means, including but not limited to the transformation engine in FIG. 1 a, for executing one of said transformation steps expressed using said transformation specification method; providing a sixth means, including but not limited to the generator execution unit in FIG. 1 a, for executing a series of transformational steps; and providing a seventh means, including but not limited to said generator execution unit for said transformation steps, for executing a series of said transformation steps on said implementation independent specification of said computation to produce said executable implementation that is required to exploit the high capability computational facilities of the target execution platform, where said series of transformation steps may be changed and customized based on the information in said specification of the high capability execution platform, wherein said transformation steps include but are not limited to FIGS. 5-49 b; wherein the improvement comprises the ability of said implementation independent form of a computation to not require reprogramming even though the target high capability execution platform on which it is to be executed may be replaced by a new execution platform with variations that would require reprogramming if it were to be programmed using a conventional programming language or even a special purpose programming language, where said variations include differing architectures, differing high capability features, and differing methods of programming to exploit the high capability features; the ability to avoid reprogramming said implementation independent specification of said computation for a reason or reasons other than the user has decided to perform a different computation; the ability to exploit any existing execution platform without reprogramming said implementation independent specification of said computation; the ability to exploit new or unanticipated execution platform abilities without reprogramming said implementation independent specification of said computation; the ability to port a computation from one execution platform to a different and possibly high capability execution platform with a substantially different architecture and operating method by automatically generating a new executable implementation that is specific to the different high execution platform and that thereby exploits said high capability facilities of said high capability execution platform; the ability to automatically produce the executable implementation form from said implementation free specification of said computation and said separate execution platform specification; and the ability to automatically exploit said high capability features of said high capability execution platform without programming actions on the part of the user.