On the Correctness of Semantic-Syntax-Directed Translations-Reference-Cited by-同舟云学术

On the Correctness of Semantic-Syntax-Directed Translations

Published:1980-04 Issue:2 Volume:27 Page:338-355
ISSN:0004-5411
Container-title:Journal of the ACM
language:en
Short-container-title:J. ACM

Author:

Krishnaswamy Ramachandran¹,Pyster Arthur B.²

Affiliation:

1. Iowa State University, Ames, IA

2. Department of Computer Science, University of California, Santa Barbara, CA

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.

Publisher

Association for Computing Machinery (ACM)

Subject

Artificial Intelligence,Hardware and Architecture,Information Systems,Control and Systems Engineering,Software

Link

https://dl.acm.org/doi/pdf/10.1145/322186.322197

Reference15 articles.

1. Semantic preserving translations

2. BUTTELMANN H W Semanuc-dlrected translation Amer ~ of Computational Lmgmstics 2 Microfiche 7 (Nov 1974) BUTTELMANN H W Semanuc-dlrected translation Amer ~ of Computational Lmgmstics 2 Microfiche 7 (Nov 1974)

3. DIJKSTR^ E W A D~sclphne of Programming Prentice-Hall Englewood Cliffs N J 1976 DIJKSTR^ E W A D~sclphne of Programming Prentice-Hall Englewood Cliffs N J 1976

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Provable correctness of prototype interpreters in LDL;Lecture Notes in Computer Science;1994

2. Attribute grammars : Theory and applications;Formalization of Programming Concepts;1981