Deductive synthesis of sorting programs*
Under an Elsevier user license
open archive
Cited by (0)
- *
This research was supported in part by the National Science Foundation under grants MCS-82-14523 and MCS-81-05565, by DARPA under Contract N00039-84-C-0211, by the United States Air Force Office of Scientific Research under Contract AFOSR-81-0014, by the Office of Naval Research under Contract N00014-84-C-0706, and by a contract from the International Business Machines Corportation.
Copyright © 1989 Published by Elsevier Ltd.