Pub Date : 2014-06-04DOI: 10.1007/978-3-319-07151-0_1
C. Amaral, Mário Florido, V. S. Costa
{"title":"PrologCheck - Property-Based Testing in Prolog","authors":"C. Amaral, Mário Florido, V. S. Costa","doi":"10.1007/978-3-319-07151-0_1","DOIUrl":"https://doi.org/10.1007/978-3-319-07151-0_1","url":null,"abstract":"","PeriodicalId":258363,"journal":{"name":"Fuji International Symposium on Functional and Logic Programming","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123792157","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 : 2014-06-04DOI: 10.1007/978-3-319-07151-0_9
José Pedro Magalhães
{"title":"Generic Programming with Multiple Parameters","authors":"José Pedro Magalhães","doi":"10.1007/978-3-319-07151-0_9","DOIUrl":"https://doi.org/10.1007/978-3-319-07151-0_9","url":null,"abstract":"","PeriodicalId":258363,"journal":{"name":"Fuji International Symposium on Functional and Logic Programming","volume":"113 6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129394325","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 : 2014-06-01DOI: 10.1007/978-3-319-07151-0_21
Xiaojuan Cai, Mizuhito Ogawa
{"title":"Well-Structured Pushdown System: Case of Dense Timed Pushdown Automata","authors":"Xiaojuan Cai, Mizuhito Ogawa","doi":"10.1007/978-3-319-07151-0_21","DOIUrl":"https://doi.org/10.1007/978-3-319-07151-0_21","url":null,"abstract":"","PeriodicalId":258363,"journal":{"name":"Fuji International Symposium on Functional and Logic Programming","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130810262","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 : 2012-05-23DOI: 10.1007/978-3-642-29822-6_20
N. Saeedloei, G. Gupta
{"title":"Coinductive Constraint Logic Programming","authors":"N. Saeedloei, G. Gupta","doi":"10.1007/978-3-642-29822-6_20","DOIUrl":"https://doi.org/10.1007/978-3-642-29822-6_20","url":null,"abstract":"","PeriodicalId":258363,"journal":{"name":"Fuji International Symposium on Functional and Logic Programming","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-05-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114785776","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 : 2012-05-23DOI: 10.1007/978-3-642-29822-6_17
Oleg Lobachev
{"title":"Parallel Computation Skeletons with Premature Termination Property","authors":"Oleg Lobachev","doi":"10.1007/978-3-642-29822-6_17","DOIUrl":"https://doi.org/10.1007/978-3-642-29822-6_17","url":null,"abstract":"","PeriodicalId":258363,"journal":{"name":"Fuji International Symposium on Functional and Logic Programming","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-05-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130161536","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 : 2012-05-23DOI: 10.1007/978-3-642-29822-6_13
M. Hamana
{"title":"Correct Looping Arrows from Cyclic Terms - Traced Categorical Interpretation in Haskell","authors":"M. Hamana","doi":"10.1007/978-3-642-29822-6_13","DOIUrl":"https://doi.org/10.1007/978-3-642-29822-6_13","url":null,"abstract":"","PeriodicalId":258363,"journal":{"name":"Fuji International Symposium on Functional and Logic Programming","volume":"78 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-05-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127295742","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 : 2012-05-23DOI: 10.1007/978-3-642-29822-6_19
K. Rose, Lionel Villard, N. Sato
{"title":"A Data Flow Language for Hybrid Query and Programming Languages","authors":"K. Rose, Lionel Villard, N. Sato","doi":"10.1007/978-3-642-29822-6_19","DOIUrl":"https://doi.org/10.1007/978-3-642-29822-6_19","url":null,"abstract":"","PeriodicalId":258363,"journal":{"name":"Fuji International Symposium on Functional and Logic Programming","volume":"69 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-05-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132359146","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 : 2012-05-23DOI: 10.1007/978-3-642-29822-6_5
S. Antoy, Arthur Peters
{"title":"Compiling a Functional Logic Language: The Basic Scheme","authors":"S. Antoy, Arthur Peters","doi":"10.1007/978-3-642-29822-6_5","DOIUrl":"https://doi.org/10.1007/978-3-642-29822-6_5","url":null,"abstract":"","PeriodicalId":258363,"journal":{"name":"Fuji International Symposium on Functional and Logic Programming","volume":"116 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-05-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121118754","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 : 2012-05-23DOI: 10.1007/978-3-642-29822-6_16
J. Kriener, A. King
{"title":"Mutual Exclusion by Interpolation","authors":"J. Kriener, A. King","doi":"10.1007/978-3-642-29822-6_16","DOIUrl":"https://doi.org/10.1007/978-3-642-29822-6_16","url":null,"abstract":"","PeriodicalId":258363,"journal":{"name":"Fuji International Symposium on Functional and Logic Programming","volume":"34 5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-05-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123357925","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
扫码关注我们
求助内容：
应助结果提醒方式：