R. M. Balzer, N. M. Goldman, and D. S. Wile, "On the Transformational Implementation Approach to Programming", in: Proceedings of the 2nd International Conference on Software Engineering, Oct. 1976, pp. 337-344.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....idea. In 1978 I started working with Peter Freeman to combine the ideas of systems analysis, automatic programming, software reuse, and transformations to specify and synthesize systems. There were four main groups pursuing this basic approach: Harvard [2] MIT [8] Stanford [3] and USC ISI [1]. These projects were primarily using widespectrum descriptions where one notation suffices to describe a system from its problem domain to implementation. I opted to use narrow spectrum languages I called ####### and defined the idea of ############### to determine their contents [5,7] I was ....

Balzer, R.M., Goldman, N.M., and Wile, D., On the Transformational Implementation Approach to Programming, ####### ## #####, pages 337-344, 1976.

....and constraints between entities in the problem domain and the actions in that domain. Once the problem is in the form of a high level procedure free of implementation details, it is refined using Software Construction Using Components 44 program transformations into an executable program [Balzer76b]. The PSI program synthesis system by Cordell Green at Stanford [Green76a] is a system of cooperating experts as described in [Lenat75, Hewitt73] An expert system is a group of programs which communicate together to solve a problem. The PSI system consists of a trace expert [Phillips77] a ....

....[Chesson77] This work discusses the kinds of operations useful in the manipulation and traversal of formally defined structures which represent programs. The use of program transformation as a refinement mechanism useful in automatic programming has been suggested by Balzer, Goldman, and Wile [Balzer76b]. An Overview of Program Transformation Systems The correctness of program transformations is of great concern and a few techniques have arisen to verify the correctness of a transformation [Gerhardt75, Neighbors78] The general power of transformation systems and their limitations was ....

Balzer, R.M., Goldman, N.M., and Wile, D., On the Transformational Implementation Approach to Programming, In Proceedings of the Second Conference on Software Engineering, pages 337-344, IEEE Press, 1976.

....made concrete by a series of specification to implementation transformations. Modifications can be performed by reasoning about and changing the specification, then allowing the transformation system to automatically propagate changes down into the implementation automatically [Bull 90, Balzer et al. 76] In such a system, the programmer could reason about a restructuring as a change to the specification (for example, stating that the instantiation of two variables should occur in the same scopes) and then let the system rederive the implementation. Finally, Griswold s work instantiates a very ....

R. Balzer, N. Goldman, and D. Wile. On the transformational implementation approach to programming. In 2nd International Conference on Software Engineering, pages 337--344, 1976.

....derivation is repeated. However, if the design history is lost or recorded partially, it becomes extremely difficult to perform maintenance tasks. One of the early attempts at using the transformational paradigm for program synthesis was made by Balzer [2] This work focused on the project SAFE [6]. The motivation behind this project was to acquire and validate a specification using an operational specification language, which could then Interactive Trasformation Tuning Automatic Compilation Source Program Formal Development Decision and Rationals Low Level Specification High Level ....

R. Balzer, N. Goldman, and D. Wile. On the transformational implementation approach to programming. In 2nd International Conference on Software Engineering. IEEE, 1976.

No context found.

R. M. Balzer, N. M. Goldman, and D. S. Wile, "On the Transformational Implementation Approach to Programming", in: Proceedings of the 2nd International Conference on Software Engineering, Oct. 1976, pp. 337-344.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC