{"title":"Formally Verified Transformation of Non-binary Constraints into Binary Constraints","authors":"Catherine Dubois","doi":"10.1007/978-3-030-75333-7_7","DOIUrl":"https://doi.org/10.1007/978-3-030-75333-7_7","url":null,"abstract":"","PeriodicalId":393576,"journal":{"name":"Workshop on Functional and Constraint Logic Programming","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114454339","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}
{"title":"SOS Rules for Equivalences of Reaction Systems","authors":"L. Brodo, R. Bruni, M. Falaschi","doi":"10.1007/978-3-030-75333-7_1","DOIUrl":"https://doi.org/10.1007/978-3-030-75333-7_1","url":null,"abstract":"","PeriodicalId":393576,"journal":{"name":"Workshop on Functional and Constraint Logic Programming","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-08-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122911755","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}
{"title":"A Framework for Generating Diverse Haskell-IO Exercise Tasks","authors":"Oliver Westphal","doi":"10.1007/978-3-030-75333-7_6","DOIUrl":"https://doi.org/10.1007/978-3-030-75333-7_6","url":null,"abstract":"","PeriodicalId":393576,"journal":{"name":"Workshop on Functional and Constraint Logic Programming","volume":"47 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-08-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133034678","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}
{"title":"Effectiveness of Annotation-Based Static Type Inference","authors":"Isabel Wingen, Philipp Körner","doi":"10.1007/978-3-030-75333-7_5","DOIUrl":"https://doi.org/10.1007/978-3-030-75333-7_5","url":null,"abstract":"","PeriodicalId":393576,"journal":{"name":"Workshop on Functional and Constraint Logic Programming","volume":"61 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-08-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132328798","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}
{"title":"Practical Idiomatic Considerations for Checkable Meta-Logic in Experimental Functional Programming","authors":"B. T. Widemann, M. Lepper","doi":"10.1007/978-3-030-75333-7_2","DOIUrl":"https://doi.org/10.1007/978-3-030-75333-7_2","url":null,"abstract":"","PeriodicalId":393576,"journal":{"name":"Workshop on Functional and Constraint Logic Programming","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-08-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133925155","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}
{"title":"Memoized Pull-Tabbing for Functional Logic Programming","authors":"M. Hanus, Finn Teegen","doi":"10.1007/978-3-030-75333-7_4","DOIUrl":"https://doi.org/10.1007/978-3-030-75333-7_4","url":null,"abstract":"","PeriodicalId":393576,"journal":{"name":"Workshop on Functional and Constraint Logic Programming","volume":"118 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-08-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131432940","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}
{"title":"Enhancing POI Testing Through the Use of Additional Information","authors":"Sergio Pérez, S. Tamarit","doi":"10.1007/978-3-030-16202-3_5","DOIUrl":"https://doi.org/10.1007/978-3-030-16202-3_5","url":null,"abstract":"","PeriodicalId":393576,"journal":{"name":"Workshop on Functional and Constraint Logic Programming","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124513078","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}
{"title":"Towards a constraint solver for proving confluence with invariant and equivalence of realistic CHR programs","authors":"Henning Christiansen, M. H. Kirkeby","doi":"10.1007/978-3-030-16202-3_7","DOIUrl":"https://doi.org/10.1007/978-3-030-16202-3_7","url":null,"abstract":"","PeriodicalId":393576,"journal":{"name":"Workshop on Functional and Constraint Logic Programming","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-08-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115670560","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}
{"title":"Code Generation for Higher Inductive Types","authors":"P. Vivekanandan","doi":"10.1007/978-3-030-16202-3_2","DOIUrl":"https://doi.org/10.1007/978-3-030-16202-3_2","url":null,"abstract":"","PeriodicalId":393576,"journal":{"name":"Workshop on Functional and Constraint Logic Programming","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-08-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115988748","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}
{"title":"Reference Type Logic Variables in Constraint-logic Object-oriented Programming","authors":"Jan C. Dageförde","doi":"10.1007/978-3-030-16202-3_8","DOIUrl":"https://doi.org/10.1007/978-3-030-16202-3_8","url":null,"abstract":"","PeriodicalId":393576,"journal":{"name":"Workshop on Functional and Constraint Logic Programming","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-08-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116676805","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}