On the Correctness of Semantic-Syntax-Directed Translations

Authors:
Ramachandran Krishnaswamy;Arthur B. Pyster
Affiliations:
Iowa State University, Ames, IA;Department of Computer Science, University of California, Santa Barbara, CA
Venue:
Journal of the ACM (JACM)
Year:
1980

Citing 3
Cited 1

The synthesis of loop predicates

Communications of the ACM
The intrinsically exponential complexity of the circularity problem for attribute grammars

Communications of the ACM
Formal languages and their relation to automata

Formal languages and their relation to automata

BIGMAC II: A FORTRAN language augmentation tool

ICSE '81 Proceedings of the 5th international conference on Software engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

The correctness of semantic-syntax-directed translators (SSDTs) is examined. SSDTs are a generalization of syntax-directed translators in which semantic information is employed to partially direct the translator. Sufficient conditions for an SSDT to be “semantic-preserving,” or “correct,” are presented. A further result shows that unless certain conditions are met, it is undecidable, in general, whether an SSDT is semantic-preserving.