Generating attribute grammar-based bidirectional transformations from rewrite rules

Pedro Martins, João Saraiva, João Paulo Fernandes, Eric Van Wyk

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Scopus citations

Abstract

Higher order attribute grammars provide a convenient means for specifying uni-directional transformations, but they provide no direct support for bidirectional transformations. In this paper we show how rewrite rules (with non-linear right hand sides) that specify a forward/get transformation can be inverted to specify a partial backward/put transformation. These inverted rewrite rules can then be extended with additional rules based on characteristics of the source language grammar and forward transformations to create, under certain circumstances, a total backward transformation. Finally, these rules are used to generate attribute grammar specifications implementing both transformations. Categories and Subject Descriptors D.3.3 [Programming Languages]: Data Types and Structures, Recursion; F.3.2 [Logics and Meanings of Programs]: Semantics of Programming Languages- Algebraic approaches to semantics; I.1.1 [Symbolic and Algebraic Manipulation]: Expressions and Their Representation.

Original languageEnglish (US)
Title of host publicationPEPM 2014 - Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2014
PublisherAssociation for Computing Machinery
Pages63-70
Number of pages8
ISBN (Print)9781450326193
DOIs
StatePublished - 2014
EventACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2014 - Co-located with POPL 2014 - San Diego, CA, United States
Duration: Jan 20 2014Jan 21 2014

Publication series

NamePEPM 2014 - Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2014

Other

OtherACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2014 - Co-located with POPL 2014
Country/TerritoryUnited States
CitySan Diego, CA
Period1/20/141/21/14

Keywords

  • Attribute grammars
  • Bidirectional transformations
  • Rewrite rules

Fingerprint

Dive into the research topics of 'Generating attribute grammar-based bidirectional transformations from rewrite rules'. Together they form a unique fingerprint.

Cite this