Workshop on Functional and Constraint Logic Programming最新文献

筛选
英文 中文
Formally Verified Transformation of Non-binary Constraints into Binary Constraints 正式验证了非二进制约束转化为二进制约束的方法
Workshop on Functional and Constraint Logic Programming Pub Date : 2020-09-01 DOI: 10.1007/978-3-030-75333-7_7
Catherine Dubois
{"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}
引用次数: 0
SOS Rules for Equivalences of Reaction Systems 反应体系等价的SOS规则
Workshop on Functional and Constraint Logic Programming Pub Date : 2020-08-29 DOI: 10.1007/978-3-030-75333-7_1
L. Brodo, R. Bruni, M. Falaschi
{"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}
引用次数: 2
A Framework for Generating Diverse Haskell-IO Exercise Tasks 生成各种Haskell-IO练习任务的框架
Workshop on Functional and Constraint Logic Programming Pub Date : 2020-08-28 DOI: 10.1007/978-3-030-75333-7_6
Oliver Westphal
{"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}
引用次数: 0
Effectiveness of Annotation-Based Static Type Inference 基于注释的静态类型推断的有效性
Workshop on Functional and Constraint Logic Programming Pub Date : 2020-08-28 DOI: 10.1007/978-3-030-75333-7_5
Isabel Wingen, Philipp Körner
{"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}
引用次数: 1
Practical Idiomatic Considerations for Checkable Meta-Logic in Experimental Functional Programming 实验函数式编程中可检查元逻辑的实际习惯考虑
Workshop on Functional and Constraint Logic Programming Pub Date : 2020-08-28 DOI: 10.1007/978-3-030-75333-7_2
B. T. Widemann, M. Lepper
{"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}
引用次数: 0
Memoized Pull-Tabbing for Functional Logic Programming 功能逻辑编程的记忆式下拉选项卡
Workshop on Functional and Constraint Logic Programming Pub Date : 2020-08-27 DOI: 10.1007/978-3-030-75333-7_4
M. Hanus, Finn Teegen
{"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}
引用次数: 3
Enhancing POI Testing Through the Use of Additional Information 通过使用附加信息来增强POI测试
Workshop on Functional and Constraint Logic Programming Pub Date : 2018-09-06 DOI: 10.1007/978-3-030-16202-3_5
Sergio Pérez, S. Tamarit
{"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}
引用次数: 0
Towards a constraint solver for proving confluence with invariant and equivalence of realistic CHR programs 探讨了一种约束求解器,用于证明实际CHR规划的收敛性与不变性和等价性
Workshop on Functional and Constraint Logic Programming Pub Date : 2018-08-24 DOI: 10.1007/978-3-030-16202-3_7
Henning Christiansen, M. H. Kirkeby
{"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}
引用次数: 2
Code Generation for Higher Inductive Types 高级归纳类型的代码生成
Workshop on Functional and Constraint Logic Programming Pub Date : 2018-08-24 DOI: 10.1007/978-3-030-16202-3_2
P. Vivekanandan
{"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}
引用次数: 2
Reference Type Logic Variables in Constraint-logic Object-oriented Programming 约束逻辑面向对象程序设计中的引用类型逻辑变量
Workshop on Functional and Constraint Logic Programming Pub Date : 2018-08-24 DOI: 10.1007/978-3-030-16202-3_8
Jan C. Dageförde
{"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}
引用次数: 3
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术官方微信