A Tactic Driven Refinement Tool

This publication has 14 references indexed in Scilit:

• OPIUM
  ACM SIGSOFT Software Engineering Notes, 1991
• Data refinement by calculation
  Acta Informatica, 1990
• Refinement concepts formalised in higher order logic
  Formal Aspects of Computing, 1990
• The RAISE language, method and tools
  Formal Aspects of Computing, 1989
• Types and invariants in the refinement calculus
  Published by Springer Nature ,1989
• A calculus of refinements for program derivations
  Acta Informatica, 1988
• A theoretical basis for stepwise refinement and the programming calculus
  Science of Computer Programming, 1987
• The X window system
  ACM Transactions on Graphics, 1986
• Program Transformation Systems
  ACM Computing Surveys, 1983
• The Science of Programming
  Published by Springer Nature ,1981