发布求助
文献互助 智能选刊 最新文献

Workshop on Functional and Constraint Logic Programming最新文献

筛选
英文 中文
Runtime verification in Erlang by using contracts 在Erlang中使用契约进行运行时验证
Workshop on Functional and Constraint Logic Programming Pub Date : 2018-08-23 DOI: 10.1007/978-3-030-16202-3_4
Lars-Åke Fredlund, Julio Mariño-Carballo, Sergio Pérez, S. Tamarit
{"title":"Runtime verification in Erlang by using contracts","authors":"Lars-Åke Fredlund, Julio Mariño-Carballo, Sergio Pérez, S. Tamarit","doi":"10.1007/978-3-030-16202-3_4","DOIUrl":"https://doi.org/10.1007/978-3-030-16202-3_4","url":null,"abstract":"","PeriodicalId":393576,"journal":{"name":"Workshop on Functional and Constraint Logic Programming","volume":"14 3-4","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-08-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132434061","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
Transpiling Programmable Computable Functions to Answer Set Programs 编译可编程可计算函数到回答集程序
Workshop on Functional and Constraint Logic Programming Pub Date : 2018-08-23 DOI: 10.1007/978-3-030-16202-3_1
Ingmar Dasseville, M. Denecker
{"title":"Transpiling Programmable Computable Functions to Answer Set Programs","authors":"Ingmar Dasseville, M. Denecker","doi":"10.1007/978-3-030-16202-3_1","DOIUrl":"https://doi.org/10.1007/978-3-030-16202-3_1","url":null,"abstract":"","PeriodicalId":393576,"journal":{"name":"Workshop on Functional and Constraint Logic Programming","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-08-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133958977","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
Synthesizing Set Functions 集合函数的综合
Workshop on Functional and Constraint Logic Programming Pub Date : 2018-08-22 DOI: 10.1007/978-3-030-16202-3_6
S. Antoy, M. Hanus, Finn Teegen
{"title":"Synthesizing Set Functions","authors":"S. Antoy, M. Hanus, Finn Teegen","doi":"10.1007/978-3-030-16202-3_6","DOIUrl":"https://doi.org/10.1007/978-3-030-16202-3_6","url":null,"abstract":"","PeriodicalId":393576,"journal":{"name":"Workshop on Functional and Constraint Logic Programming","volume":"54 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-08-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115566116","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
New Functional Logic Design Patterns 新的功能逻辑设计模式
Workshop on Functional and Constraint Logic Programming Pub Date : 2011-07-19 DOI: 10.1007/978-3-642-22531-4_2
S. Antoy, M. Hanus
{"title":"New Functional Logic Design Patterns","authors":"S. Antoy, M. Hanus","doi":"10.1007/978-3-642-22531-4_2","DOIUrl":"https://doi.org/10.1007/978-3-642-22531-4_2","url":null,"abstract":"","PeriodicalId":393576,"journal":{"name":"Workshop on Functional and Constraint Logic Programming","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-07-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129247344","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}
引用次数: 17
Logic Java: Combining Object-Oriented and Logic Programming 逻辑Java:结合面向对象和逻辑编程
Workshop on Functional and Constraint Logic Programming Pub Date : 2011-07-19 DOI: 10.1007/978-3-642-22531-4_8
Tim A. Majchrzak, H. Kuchen
{"title":"Logic Java: Combining Object-Oriented and Logic Programming","authors":"Tim A. Majchrzak, H. Kuchen","doi":"10.1007/978-3-642-22531-4_8","DOIUrl":"https://doi.org/10.1007/978-3-642-22531-4_8","url":null,"abstract":"","PeriodicalId":393576,"journal":{"name":"Workshop on Functional and Constraint Logic Programming","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-07-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125453049","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}
引用次数: 13
KiCS2: A New Compiler from Curry to Haskell KiCS2:从Curry到Haskell的新编译器
Workshop on Functional and Constraint Logic Programming Pub Date : 2011-07-19 DOI: 10.1007/978-3-642-22531-4_1
Bernd Brassel, M. Hanus, Björn Peemöller, Fabian Reck
{"title":"KiCS2: A New Compiler from Curry to Haskell","authors":"Bernd Brassel, M. Hanus, Björn Peemöller, Fabian Reck","doi":"10.1007/978-3-642-22531-4_1","DOIUrl":"https://doi.org/10.1007/978-3-642-22531-4_1","url":null,"abstract":"","PeriodicalId":393576,"journal":{"name":"Workshop on Functional and Constraint Logic Programming","volume":"56 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-07-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122519326","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}
引用次数: 67
Memoizing a Monadic Mixin DSL 一元混合DSL的记忆
Workshop on Functional and Constraint Logic Programming Pub Date : 2011-07-19 DOI: 10.1007/978-3-642-22531-4_5
Pieter Wuille, T. Schrijvers, H. Samulowitz, Guido Tack, Peter James Stuckey
{"title":"Memoizing a Monadic Mixin DSL","authors":"Pieter Wuille, T. Schrijvers, H. Samulowitz, Guido Tack, Peter James Stuckey","doi":"10.1007/978-3-642-22531-4_5","DOIUrl":"https://doi.org/10.1007/978-3-642-22531-4_5","url":null,"abstract":"","PeriodicalId":393576,"journal":{"name":"Workshop on Functional and Constraint Logic Programming","volume":"83 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-07-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126198296","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
Building a Faceted Browser in CouchDB Using Views on Views and Erlang Metaprogramming 使用视图对视图和Erlang元编程在CouchDB中构建一个分面浏览器
Workshop on Functional and Constraint Logic Programming Pub Date : 2011-07-19 DOI: 10.1007/978-3-642-22531-4_7
C. Zinn
{"title":"Building a Faceted Browser in CouchDB Using Views on Views and Erlang Metaprogramming","authors":"C. Zinn","doi":"10.1007/978-3-642-22531-4_7","DOIUrl":"https://doi.org/10.1007/978-3-642-22531-4_7","url":null,"abstract":"","PeriodicalId":393576,"journal":{"name":"Workshop on Functional and Constraint Logic Programming","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-07-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128513968","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
XQuery in the Functional-Logic Language Toy 函数逻辑语言玩具中的XQuery
Workshop on Functional and Constraint Logic Programming Pub Date : 2011-07-19 DOI: 10.1007/978-3-642-22531-4_3
J. Almendros-Jiménez, R. Caballero, Y. García-Ruiz, F. Sáenz-Pérez
{"title":"XQuery in the Functional-Logic Language Toy","authors":"J. Almendros-Jiménez, R. Caballero, Y. García-Ruiz, F. Sáenz-Pérez","doi":"10.1007/978-3-642-22531-4_3","DOIUrl":"https://doi.org/10.1007/978-3-642-22531-4_3","url":null,"abstract":"","PeriodicalId":393576,"journal":{"name":"Workshop on Functional and Constraint Logic Programming","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-07-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130051691","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}
引用次数: 4
A Functional Approach to Worst-Case Execution Time Analysis 最坏情况执行时间分析的函数式方法
Workshop on Functional and Constraint Logic Programming Pub Date : 2011-07-19 DOI: 10.1007/978-3-642-22531-4_6
V. Rodrigues, Mário Florido, S. Sousa
{"title":"A Functional Approach to Worst-Case Execution Time Analysis","authors":"V. Rodrigues, Mário Florido, S. Sousa","doi":"10.1007/978-3-642-22531-4_6","DOIUrl":"https://doi.org/10.1007/978-3-642-22531-4_6","url":null,"abstract":"","PeriodicalId":393576,"journal":{"name":"Workshop on Functional and Constraint Logic Programming","volume":"80 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-07-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122635226","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}
引用次数: 4
首页 上一页 下一页 尾页
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学术官方微信
小红书