Doing so may make the compiler easier to understand, and furthermore, a well-chosen intermediate representation may prove a suitable target for other source languages, or a suitable source for translating to other machines.
The marriage of Petri nets with temporal logics seems a suitable formalism for translating and then validating UML state-based models.
The overall emphasis is on discovering techniques that are suitable for practical deployment, translating effectiveness beyond a traditional research setting.
For a start, tests suitable for Western children may not translate readily to other cultures.
The flow charts that are translated are suitable for execution as they are already used in the ICU of the Ghent University hospital.
The 50 bp reads of the other insect libraries were not suitable for these analyses because the translated protein fragment is too short to yield significant alignments to the CenH3 homologous fragments using H3-like query proteins.
In this paper we further investigate the use of LSCs as a specification language and show how it can be formally translated to automata suitable for input to a model checker for automatic verification of the system under test.
Fortunately, a large fraction of the coal fields in India are suitable for surface mining, and this has translated into relatively low coal and thus low electricity costs.
Therefore, Dr. Tchou searched through a large number of foreign texts and magazines, excerpted the information that was suitable for the physiological psychology classes and translated some of the basic teaching materials such as Introduction to Physiological Psychology by Allen Schneider and Barry Tarshis; Introduction to Physiological Psychology by Charles Levinthal.
He adds that while her voice is suitable for studio recording, it doesn't translate well to stage because despite having "great songs, incredible dancing, and her star like presence, the live show is still magnificent.
