Two-way translators based on attribute grammar inversion

Authors:
Daniel M. Yellin;Eva-Maria M. Mueckstein
Affiliations:
Computer Science Department, Columbia University New York, New York;Software Technology Department, IBM T. J. Watson Research Center, Yorktown Heights, New York
Venue:
ICSE '85 Proceedings of the 8th international conference on Software engineering
Year:
1985

Citing 7
Cited 0

Controlled natural language interfaces (extended abstract): the best of three worlds

CSC '85 Proceedings of the 1985 ACM thirteenth annual conference on Computer Science
Semantic evaluation from left to right

Communications of the ACM
Attribute coupled grammars

SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
Semantic attributes processing in the system DELTA

Symposium on Methods of Algorithmic Language Implementation
LINGUIST-86: Yet another translator writing system based on attribute grammars

SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction
A truly generative semantics-directed compiler generator

SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction
Alternating semantic evaluator

ACM '75 Proceedings of the 1975 annual conference

Quantified Score

Hi-index	0.00

Visualization

Abstract

An attribute grammar is a non-procedural specification of a translation from one language to another. In this paper we consider restrictions on attribute grammars to make them invertible. Given an attribute grammar defining a translation T: L1 → L2 obeying these restrictions, we show how to automatically synthesize the attribute grammar T-1: L2 → L1 describing the inverse translation; i.e., T &ogr; T-1 &ogr; T = T. This allows for the generation of bi-directional translators from a single description. We provide motivation and demonstrate the practical utility of these concepts by describing the inversion of an attribute grammar used as part of an interface for database users.