Automatic synthesis of specifications for first order curry programs. Bacci, G., Comini, M., Antonio Feliú, M., & Villanueva, A. In Proceedings of Principles and Practice of Declarative Programming (PPDP), pages 25-34, 2012.
![Automatic synthesis of specifications for first order curry programs [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper bibtex
Paper bibtex @inproceedings{ dblp1674188,
title = {Automatic synthesis of specifications for first order curry programs},
author = {Giovanni Bacci and Marco Comini and Marco Antonio Feliú and Alicia Villanueva},
author_short = {Bacci, G. and Comini, M. and Antonio Feliú, M. and Villanueva, A.},
bibtype = {inproceedings},
type = {inproceedings},
year = {2012},
key = {dblp1674188},
id = {dblp1674188},
biburl = {http://www.dblp.org/rec/bibtex/conf/ppdp/BacciCFV12},
url = {http://doi.acm.org/10.1145/2370776.2370781},
conference = {PPDP},
pages = {25-34},
text = {PPDP 2012:25-34},
booktitle = {Proceedings of Principles and Practice of Declarative Programming (PPDP)}
}Downloads: 0
{"_id":{"_str":"52a870f59eb585cc26002b25"},"__v":0,"authorIDs":[],"author_short":["Bacci, G.","Comini, M.","Antonio Feliú, M.","Villanueva, A."],"bibbaseid":"bacci-comini-antoniofeli-villanueva-automaticsynthesisofspecificationsforfirstordercurryprograms-2012","bibdata":{"html":"<div class=\"bibbase_paper\"> \n\n\n<span class=\"bibbase_paper_titleauthoryear\">\n\t<span class=\"bibbase_paper_title\"><a name=\"dblp1674188\"> </a>Automatic synthesis of specifications for first order curry programs.</span>\n\t<span class=\"bibbase_paper_author\">\nBacci, G.; Comini, M.; Antonio Feliú, M.; and Villanueva, A.</span>\n\t<!-- <span class=\"bibbase_paper_year\">2012</span>. -->\n</span>\n\n\n\nIn\n<i>Proceedings of Principles and Practice of Declarative Programming (PPDP)</i>, page 25-34, 2012.\n\n\n\n\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content\">\n \n \n <!-- <i -->\n <!-- onclick=\"javascript:log_download('bacci-comini-antoniofeli-villanueva-automaticsynthesisofspecificationsforfirstordercurryprograms-2012', 'http://doi.acm.org/10.1145/2370776.2370781')\">DEBUG -->\n <!-- </i> -->\n\n <a href=\"http://doi.acm.org/10.1145/2370776.2370781\"\n onclick=\"javascript:log_download('bacci-comini-antoniofeli-villanueva-automaticsynthesisofspecificationsforfirstordercurryprograms-2012', 'http://doi.acm.org/10.1145/2370776.2370781')\">\n <img src=\"http://bibbase.org/img/filetypes/blank.png\"\n\t alt=\"Automatic synthesis of specifications for first order curry programs [.2370781]\" \n\t class=\"bibbase_icon\"\n\t style=\"width: 24px; height: 24px; border: 0px; vertical-align: text-top\" ><span class=\"bibbase_icon_text\">Paper</span></a> \n \n \n \n <a href=\"javascript:showBib('dblp1674188')\"\n class=\"bibbase link\">\n <!-- <img src=\"http://bibbase.org/img/filetypes/bib.png\" -->\n\t<!-- alt=\"Automatic synthesis of specifications for first order curry programs [bib]\" -->\n\t<!-- class=\"bibbase_icon\" -->\n\t<!-- style=\"width: 24px; height: 24px; border: 0px; vertical-align: text-top\"><span class=\"bibbase_icon_text\">Bibtex</span> -->\n BibTeX\n <i class=\"fa fa-caret-down\"></i></a>\n \n \n \n \n\n \n \n \n</span>\n\n<div class=\"well well-small bibbase\" id=\"bib_dblp1674188\"\n style=\"display:none\">\n <pre>@inproceedings{ dblp1674188,\n title = {Automatic synthesis of specifications for first order curry programs},\n author = {Giovanni Bacci and Marco Comini and Marco Antonio Feliú and Alicia Villanueva},\n author_short = {Bacci, G. and Comini, M. and Antonio Feliú, M. and Villanueva, A.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2012},\n key = {dblp1674188},\n id = {dblp1674188},\n biburl = {http://www.dblp.org/rec/bibtex/conf/ppdp/BacciCFV12},\n url = {http://doi.acm.org/10.1145/2370776.2370781},\n conference = {PPDP},\n pages = {25-34},\n text = {PPDP 2012:25-34},\n booktitle = {Proceedings of Principles and Practice of Declarative Programming (PPDP)}\n}</pre>\n</div>\n\n\n\n</div>\n","downloads":0,"bibbaseid":"bacci-comini-antoniofeli-villanueva-automaticsynthesisofspecificationsforfirstordercurryprograms-2012","urls":{"Paper":"http://doi.acm.org/10.1145/2370776.2370781"},"role":"author","bibtex":"@inproceedings{ dblp1674188,\n title = {Automatic synthesis of specifications for first order curry programs},\n author = {Giovanni Bacci and Marco Comini and Marco Antonio Feliú and Alicia Villanueva},\n author_short = {Bacci, G. and Comini, M. and Antonio Feliú, M. and Villanueva, A.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2012},\n key = {dblp1674188},\n id = {dblp1674188},\n biburl = {http://www.dblp.org/rec/bibtex/conf/ppdp/BacciCFV12},\n url = {http://doi.acm.org/10.1145/2370776.2370781},\n conference = {PPDP},\n pages = {25-34},\n text = {PPDP 2012:25-34},\n booktitle = {Proceedings of Principles and Practice of Declarative Programming (PPDP)}\n}","booktitle":"Proceedings of Principles and Practice of Declarative Programming (PPDP)","text":"PPDP 2012:25-34","pages":"25-34","conference":"PPDP","url":"http://doi.acm.org/10.1145/2370776.2370781","biburl":"http://www.dblp.org/rec/bibtex/conf/ppdp/BacciCFV12","id":"dblp1674188","key":"dblp1674188","year":"2012","type":"inproceedings","bibtype":"inproceedings","author_short":["Bacci, G.","Comini, M.","Antonio Feliú, M.","Villanueva, A."],"author":["Giovanni Bacci","Marco Comini","Marco Antonio Feliú","Alicia Villanueva"],"title":"Automatic synthesis of specifications for first order curry programs"},"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/ppdp/BacciCFV12","downloads":0,"search_terms":["automatic","synthesis","specifications","first","order","curry","programs","bacci","comini","antonio feliú","villanueva"],"title":"Automatic synthesis of specifications for first order curry programs","year":2012,"dataSources":["MheXB86kxHtmpvqci"]}