Program Developments: Formal Explanations of Implementations

  title={Program Developments: Formal Explanations of Implementations},
  author={David S. Wile},
  journal={Commun. ACM},
This research was supported by the National Science Foundation under Contract No. MCS-7918792. Views and conclusions contained in this report are the author's and should not be interpreted as representing the official opinion or policy of NSF, the U.S. Government, or any person or agency connected with them. Permission to copy without fee all or part of this material is granted provided that the copies are not made or distributed for direct commercial advantage, the ACM copyright notice and the… CONTINUE READING