A System for Assisting Program Transformation

DOI10.1145/357153.357154zbMath0479.68014OpenAlexW1988901815MaRDI QIDQ3938466

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 transformationprogram development

Mathematics Subject Classification ID

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

Related Items (7)

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

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