An introduction to the WSL program transformer

This publication has 11 references indexed in Scilit:

• The Maintainer's Assistant (software tool)
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Formal program construction by transformations-computer-aided, intuition-guided programming
  IEEE Transactions on Software Engineering, 1989
• A 15 Year Perspective on Automatic Programming
  IEEE Transactions on Software Engineering, 1985
• Automating the Transformational Development of Software
  IEEE Transactions on Software Engineering, 1985
• Program Transformation Systems
  ACM Computing Surveys, 1983
• Transformational Implementation: An Example
  IEEE Transactions on Software Engineering, 1981
• Syntactic source to source transforms and program manipulation
  Communications of the ACM, 1979
• Programming by Refinement, as Exemplified by the SETL Representation Sublanguage
  ACM Transactions on Programming Languages and Systems, 1979
• A Transformation System for Developing Recursive Programs
  Journal of the ACM, 1977
• Langages sans etiquettes et transformations de programmes
  Published by Springer Nature ,1974