• Publications
  • Influence

Claim Your Author Page
Ensure your research is discoverable on Semantic Scholar. Claiming your author page allows you to personalize the information displayed and manage publications.
This paper describes a calculus for the stepwise and piecewise refinement of expressions. It provides a means for the derivation of executable expressions from initial specifications. We take the(More)