A System for Assisting Program Transformation

DOI10.1145/357153.357154MaRDI QIDQ3938466zbMATH OpenOpenAlexFDO

Authors Martin S. Feather

Publication date 1982

Published in ACM Transactions on Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/357153.357154

zbMATH Keywords

program developmentprogram transformation

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cited in

(7)

• Deductive and inductive synthesis of equational programs
• A survey of strategies in rule-based program transformation systems
• A positive supercompiler
• How powerful are folding/unfolding transformations?
• Using transformations in the implementation of higher-order functions
• Synthetic programming
• Using circular programs to eliminate multiple traversals of data

This page was built for publication: A System for Assisting Program Transformation

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