Heuristic control of design-directed program transformations

@article{Jette1899HeuristicCO,
  title={Heuristic control of design-directed program transformations},
  author={Chris Jette},
  journal={1979 International Workshop on Managing Requirements Knowledge (MARK)},
  year={1899},
  pages={1071-1078}
}
  • C. Jette
  • Published 30 December 1899
  • Computer Science
  • 1979 International Workshop on Managing Requirements Knowledge (MARK)
This paper describes a class of semantic source-to-source program transformations called design-directed program transformations (DDPT) for use in a transformational implementation (TI) approach to programming. A methodology is developed for applying such transformations based on symbolic evaluation and experimental computation of programs. A DDPT is a cognitive model of source-to-source transformations; it knows what it is trying to accomplish and contains a strategy of how to accomplish it. A… 
2 Citations

SUGGESTIONS FOR COMPOSING AND SPECIFYING PROGRAM DESIGN DECISIONS

  • M. F
  • Computer Science
  • 2005
A case study of program construction is presented and composition rules based on logic are given for these hierarchical specifications of design decisions.

Suggestions for Composing and Specifying Program Design Decisions

  • M. Sintzoff
  • Computer Science
    Symposium on Programming
  • 1980
It is proposed to express program designs by hierarchical specifications of design decisions by giving composition rules based on logic for these hierarchical specifications.

References

SHOWING 1-6 OF 6 REFERENCES

Some transformations for developing recursive programs

A system of rules for transforming programs, the programs being in the form of recursion equations, to throw some light on the alternative structures for programs and indicate a possible initial phase for an automatic or semi-automatic program manipulation system.

Shifting garbage collection overhead to compile time

This paper discusses techniques which enable automatic storage reclamation overhead to be partially shifted to compile time. The paper assumes a transaction oriented collection scheme, as proposed by

Design directed program synthesis,

  • CSCI Tech. Rep. 77-02-01,
  • 1977

On the transformational approach to programming,

  • Second InternationaL Conference on Software Engineering,
  • 1976

Program transformation and synthesis: present capabilities,

  • Second ACM Symposium on POPL
  • 1977