Given two representations of the same abstract data type, any optimal program that incorporates one representation has a corresponding optimal program that incorporates the other.

What is the field of computer science that studies program transformation between two such optimal programs?

If necessary, posit the practically restrictive, but analytically convenient, case that the representations are isomorphic rather than homomorphic.

  • $\begingroup$ What do you mean by an "optimal program"? Optimal in what sense? What does it mean for a program to "incorporate a representation"? What do you mean by isomorphic in this context? Can you define your terms? Can you give an example? I encourage you to edit the question to clarify what you are asking. $\endgroup$ – D.W. Jun 14 '17 at 1:17
  • $\begingroup$ "Optimization" is a well understood term: The process of discovering the program that maximizes the objective function or finds a point on the Pareto frontier of a multi-objective function. $\endgroup$ – James Bowery Jun 19 '17 at 14:54

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.