Strongly typed rewriting for coupled software transformation

DOI10.1016/J.ENTCS.2006.10.019MaRDI QIDQ2864515zbMATH OpenOpenAlexFDO

Authors Alcino Cunha, Joost Visser

Publication date 6 December 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

Full work available at URL https://doi.org/10.1016/j.entcs.2006.10.019

zbMATH Keywords

term rewritingprogram transformationdata refinementstrategic programminggeneralized abstract datatypes

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Grammars and rewriting systems (68Q42)

Recommendations

• A survey of rewriting strategies in program transformation systems
• scientific article; zbMATH DE number 1956559
• Data structures and program transformation
• Model transformation and induced instance migration: a universal framework
• Constraint-aware schema transformation

Cites work

• A Framework for Point-Free Program Transformation
• A confluent reduction for the extensional typed \(\lambda\)-calculus with pairs, sums, recursion and terminal object
• A reification calculus for model-oriented software specification
• Combinators for bi-directional tree transformations: a linguistic approach to the view update problem
• Data refinement by calculation
• Deforestation: Transforming programs to eliminate trees
• Scrap your boilerplate with class: extensible generic functions
• Some lambda calculi with categorical sums and products
• Typing dynamic typing
• “Scrap Your Boilerplate” Reloaded

Cited in

(6)

• Transformation of structure-shy programs with application to XPath queries and strategic functions
• scientific article; zbMATH DE number 5033864 (Why is no real title available?)
• Algebraic specialization of generic functions for recursive types
• Constraint-aware schema transformation
• Recognizing Strategies
• Strongly typed flow-directed representation transformations (extended abstract)

Describes a project that uses

Uses Software

• Haskell

This page was built for publication: Strongly typed rewriting for coupled software transformation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2864515)