Automatic synthesis of recursive programs: the proof-planning paradigm. Armando, A.; Smaill, A.; and Green, I. Automated Software Engineering, 6(4):329-356, 1999.
Automatic synthesis of recursive programs: the proof-planning paradigm [link]Paper  doi  bibtex   
@ARTICLE{Armando1999329,
author={Armando, A., Smaill, A., Green, I.},
title={Automatic synthesis of recursive programs: the proof-planning paradigm},
journal={Automated Software Engineering},
year={1999},
volume={6},
number={4},
pages={329-356},
doi={10.1023/A:1008763422061},
url={https://www.scopus.com/inward/record.uri?eid=2-s2.0-0033207375&partnerID=40&md5=31f8f8d57c7103636f0ddf474a43bdd4},
document_type={Article},
source={Scopus},
}
Downloads: 0