Automatic synthesis of recursive programs: the proof-planning paradigm. Armando, A., Smaill, A., & Green, I. Automated Software Engineering, 6(4):329-356, 1999. ![Automatic synthesis of recursive programs: the proof-planning paradigm [link]](https://bibbase.org/img/filetypes/link.svg "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
{"_id":"YXw3KuqWcvENLvzvq","bibbaseid":"armando-smaill-green-automaticsynthesisofrecursiveprogramstheproofplanningparadigm-1999","downloads":0,"creationDate":"2016-08-26T09:24:47.207Z","title":"Automatic synthesis of recursive programs: the proof-planning paradigm","author_short":["Armando, A.","Smaill, A.","Green, I."],"year":1999,"bibtype":"article","biburl":"https://dl.dropboxusercontent.com/u/1703583/BiblioLab.bib","bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Armando"],"firstnames":["A."],"suffixes":[]},{"propositions":[],"lastnames":["Smaill"],"firstnames":["A."],"suffixes":[]},{"propositions":[],"lastnames":["Green"],"firstnames":["I."],"suffixes":[]}],"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","bibtex":"@ARTICLE{Armando1999329,\nauthor={Armando, A., Smaill, A., Green, I.},\ntitle={Automatic synthesis of recursive programs: the proof-planning paradigm},\njournal={Automated Software Engineering},\nyear={1999},\nvolume={6},\nnumber={4},\npages={329-356},\ndoi={10.1023/A:1008763422061},\nurl={https://www.scopus.com/inward/record.uri?eid=2-s2.0-0033207375&partnerID=40&md5=31f8f8d57c7103636f0ddf474a43bdd4},\ndocument_type={Article},\nsource={Scopus},\n}\n\n","author_short":["Armando, A.","Smaill, A.","Green, I."],"key":"Armando1999329","id":"Armando1999329","bibbaseid":"armando-smaill-green-automaticsynthesisofrecursiveprogramstheproofplanningparadigm-1999","role":"author","urls":{"Paper":"https://www.scopus.com/inward/record.uri?eid=2-s2.0-0033207375&partnerID=40&md5=31f8f8d57c7103636f0ddf474a43bdd4"},"downloads":0},"search_terms":["automatic","synthesis","recursive","programs","proof","planning","paradigm","armando","smaill","green"],"keywords":["dblp"],"authorIDs":["57c00ade5abfdd4d540000c7"],"dataSources":["EQov9rEvkmMf5P4ah"]}