Program Translation via Abstraction and Reimplementation

Essentially all program translators (both source-to-source translators and compilers) operate via transliteration and refinement. This approach is fundamentally limited in the quality of the output it can produce. In particular, it tends to be insufficiently sensitive to global features of the...

Full description

Bibliographic Details
Main Author: Waters, Richard C.
Language:en_US
Published: 2004
Online Access:http://hdl.handle.net/1721.1/6464