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
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
Hi-index | 0.00 |
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.