Pub Date : 2016-03-04DOI: 10.1007/978-3-319-29604-3_3
Wouter Swierstra, J. Alpuim
{"title":"From Proposition to Program - Embedding the Refinement Calculus in Coq","authors":"Wouter Swierstra, J. Alpuim","doi":"10.1007/978-3-319-29604-3_3","DOIUrl":"https://doi.org/10.1007/978-3-319-29604-3_3","url":null,"abstract":"","PeriodicalId":258363,"journal":{"name":"Fuji International Symposium on Functional and Logic Programming","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-03-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131982331","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2016-03-04DOI: 10.1007/978-3-319-29604-3_4
Markus Triska
{"title":"The Boolean Constraint Solver of SWI-Prolog (System Description)","authors":"Markus Triska","doi":"10.1007/978-3-319-29604-3_4","DOIUrl":"https://doi.org/10.1007/978-3-319-29604-3_4","url":null,"abstract":"","PeriodicalId":258363,"journal":{"name":"Fuji International Symposium on Functional and Logic Programming","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-03-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116723097","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2016-03-04DOI: 10.1007/978-3-319-29604-3_12
F. J. López-Fraguas, Manuel Montenegro, J. Rodríguez-Hortalá
{"title":"Polymorphic Types in Erlang Function Specifications","authors":"F. J. López-Fraguas, Manuel Montenegro, J. Rodríguez-Hortalá","doi":"10.1007/978-3-319-29604-3_12","DOIUrl":"https://doi.org/10.1007/978-3-319-29604-3_12","url":null,"abstract":"","PeriodicalId":258363,"journal":{"name":"Fuji International Symposium on Functional and Logic Programming","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-03-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128911015","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2016-03-04DOI: 10.1007/978-3-319-29604-3_5
P. Narayanan, J. Carette, Wren Romano, Chung-chieh Shan, R. Zinkov
{"title":"Probabilistic Inference by Program Transformation in Hakaru (System Description)","authors":"P. Narayanan, J. Carette, Wren Romano, Chung-chieh Shan, R. Zinkov","doi":"10.1007/978-3-319-29604-3_5","DOIUrl":"https://doi.org/10.1007/978-3-319-29604-3_5","url":null,"abstract":"","PeriodicalId":258363,"journal":{"name":"Fuji International Symposium on Functional and Logic Programming","volume":"abs/2210.10960 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-03-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125407293","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2016-03-04DOI: 10.1007/978-3-319-29604-3_6
I. Mackie, Shinya Sato
{"title":"An Interaction Net Encoding of Gödel's System T - Declarative Pearl","authors":"I. Mackie, Shinya Sato","doi":"10.1007/978-3-319-29604-3_6","DOIUrl":"https://doi.org/10.1007/978-3-319-29604-3_6","url":null,"abstract":"","PeriodicalId":258363,"journal":{"name":"Fuji International Symposium on Functional and Logic Programming","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-03-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114435975","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2016-03-04DOI: 10.1007/978-3-319-29604-3_1
K. Ueda
{"title":"Logic/Constraint Programming and Concurrency: The Hard-Won Lessons of the Fifth Generation Computer Project","authors":"K. Ueda","doi":"10.1007/978-3-319-29604-3_1","DOIUrl":"https://doi.org/10.1007/978-3-319-29604-3_1","url":null,"abstract":"","PeriodicalId":258363,"journal":{"name":"Fuji International Symposium on Functional and Logic Programming","volume":"386 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-03-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122172091","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2016-03-04DOI: 10.1007/978-3-319-29604-3_14
Akimasa Morihata
{"title":"Incremental Computing with Abstract Data Structures","authors":"Akimasa Morihata","doi":"10.1007/978-3-319-29604-3_14","DOIUrl":"https://doi.org/10.1007/978-3-319-29604-3_14","url":null,"abstract":"","PeriodicalId":258363,"journal":{"name":"Fuji International Symposium on Functional and Logic Programming","volume":"139 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-03-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115631304","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2016-03-04DOI: 10.1007/978-3-319-29604-3_7
Taus Brock-Nannestad
{"title":"Space-Efficient Planar Acyclicity Constraints - A Declarative Pearl","authors":"Taus Brock-Nannestad","doi":"10.1007/978-3-319-29604-3_7","DOIUrl":"https://doi.org/10.1007/978-3-319-29604-3_7","url":null,"abstract":"","PeriodicalId":258363,"journal":{"name":"Fuji International Symposium on Functional and Logic Programming","volume":"4291 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-03-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123422151","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2016-03-04DOI: 10.1007/978-3-319-29604-3_8
Ki Yung Ahn, Andrea Vezzosi
{"title":"Executable Relational Specifications of Polymorphic Type Systems Using Prolog","authors":"Ki Yung Ahn, Andrea Vezzosi","doi":"10.1007/978-3-319-29604-3_8","DOIUrl":"https://doi.org/10.1007/978-3-319-29604-3_8","url":null,"abstract":"","PeriodicalId":258363,"journal":{"name":"Fuji International Symposium on Functional and Logic Programming","volume":"63 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-03-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125080828","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2016-03-04DOI: 10.1007/978-3-319-29604-3_2
A. Blot, Pierre-Évariste Dagand, J. Lawall
{"title":"From Sets to Bits in Coq","authors":"A. Blot, Pierre-Évariste Dagand, J. Lawall","doi":"10.1007/978-3-319-29604-3_2","DOIUrl":"https://doi.org/10.1007/978-3-319-29604-3_2","url":null,"abstract":"","PeriodicalId":258363,"journal":{"name":"Fuji International Symposium on Functional and Logic Programming","volume":"96 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-03-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133458838","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：