On the Correctness of Semantic-Syntax-Directed Translations

Abstract

The correctness of semantic-syntax-directed translators (SSDTs) ~s examined SSDTs are a generahzatton of syntax-directed translators m which semantic mformaUon is employed to partmlly direct the translator Sufficient conditions for an SSDT to be "semanttc-preserwng," or "correct," are presented A further result shows that unless certam condiuons are met, ~t ~s undec~dable, m general, whether an SSDT is semanticpreserwng KEY WORDS AND PHRASES1 translauon, syntax.directed, semantic-syntax-directed, correctness, semanttcpreservmg CR CATEGORIES. 3,42, 4.12, 5.22, 5 24

FLAT: A FORTRAN Language Augmentation Tool,

“…The key theoretical concepts behind FLAT are those of syntax directed translation and tree transducers [Baker78,KP80]. To configure a specific translator, one submits a context free grammar [AU72] and a set of tree macros to the FLAT system.…”

Data structure implementation and correctness

“…Krishnaswarny and Pyster [30] have examined the correctness of semantic-syntax-directed translators. Here, we follow the work of [30] but extend the notion of tree transduction.…”

“…Krishnaswarny and Pyster [30] have examined the correctness of semantic-syntax-directed translators. Here, we follow the work of [30] but extend the notion of tree transduction. In our work, equations will be used to extend the notion of tree transduction, and hence to provide an additional capability to the tree transducers developed prior to this work.…”