Digital to hybrid program transformations
Wolf Kohn, Jeffrey B. Remmel · 2002
This paper describes on-going research for the formulation, analysis and implementation of a procedure that transforms digital RISC fragments into hybrid programs. The proposed schema involves the construction of a function or a relation corresponding to the fragment, and the embedding of the function or relation into a suitable space of continuous trajectories over a manifold. This embedding is carried out constructively by formulating a relaxed variational problem whose solution trajectories approximate arbitrarily close the trajectory computed by the fragment at suitable sampling points.