The INVERT system

Part of the Lecture Notes in Computer Science book series (LNCS, volume 302)


This chapter discussed INVERT. The goal of this software is to provide a flexible bi-directional translator-writing system. For this reason, many extensions to the basic inversion paradigm are included in INVERT. Although some of these extensions are similar to the generalized RIFs of the last chapter, unlike GRIFs, the INVERT system produces AGs that can be run in traditional AG-based environments. Furthermore, INVERT was built to support translations that occur in practice. It therefore includes facilities to handle numeric oriented computations, many-to-one translations, etc. Whereas GRIFs were formulated as a natural generalization of RIFs, expressing interesting theoretical characteristics, INVERT was formulated as a practical system to be used in conjunction with existing AG-based translator-writing systems.

In chapter 1, we stated that AG inversion could be used to build source-to-source translators. Having built INVERT, we could now proceed to test this proposition. The next chapter details our methodology and then describes the source-to-source translators we produced using INVERT.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1988

Personalised recommendations