Algebraic specification and functionals for transformational program and meta program development

This publication has 17 references indexed in Scilit:

• A simple calculus for program transformation (inclusive of induction)
  Science of Computer Programming, 1987
• Predicative specifications for functional programs describing communicating networks
  Information Processing Letters, 1987
• Expressing program developments in a design calculus
  Published by Springer Nature ,1987
• On the algebraic definition of programming languages
  ACM Transactions on Programming Languages and Systems, 1987
• ANNA A Language for Annotating Ada Programs
  Published by Springer Nature ,1987
• Algebraic implementations preserve program correctness
  Science of Computer Programming, 1986
• Recent Trends in Data Type Specification
  Published by Springer Nature ,1985
• Program Transformation Systems
  ACM Computing Surveys, 1983
• Partial abstract types
  Acta Informatica, 1982
• Program Construction
  Lecture Notes in Computer Science, 1979