Changing data representation in the refinement calculus

This publication has 20 references indexed in Scilit:

• A theoretical basis for stepwise refinement and the programming calculus
  Science of Computer Programming, 1987
• A new notion of encapsulation
  Published by Association for Computing Machinery (ACM) ,1985
• The Munich Project CIP
  Lecture Notes in Computer Science, 1985
• Derivation of efficient DAG marking algorithms
  Published by Association for Computing Machinery (ACM) ,1983
• A Weaker Precondition for Loops
  ACM Transactions on Programming Languages and Systems, 1982
• The Science of Programming
  Published by Springer Nature ,1981
• A Transformation System for Developing Recursive Programs
  Journal of the ACM, 1977
• An Introduction to the Construction and Verification of Alphard Programs
  IEEE Transactions on Software Engineering, 1976
• A Powerdomain Construction
  SIAM Journal on Computing, 1976
• Program development by stepwise refinement
  Communications of the ACM, 1971