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

International Symposium on Practical Aspects of Declarative Languages最新文献

筛选
英文 中文
Canonicalizing High-Level Constructs in Picat 规范化Picat中的高级结构
International Symposium on Practical Aspects of Declarative Languages Pub Date : 2017-01-16 DOI: 10.1007/978-3-319-51676-9_2
Neng-Fa Zhou, J. Fruhman
{"title":"Canonicalizing High-Level Constructs in Picat","authors":"Neng-Fa Zhou, J. Fruhman","doi":"10.1007/978-3-319-51676-9_2","DOIUrl":"https://doi.org/10.1007/978-3-319-51676-9_2","url":null,"abstract":"","PeriodicalId":293413,"journal":{"name":"International Symposium on Practical Aspects of Declarative Languages","volume":"71 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-01-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125612523","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
An Overview of PρLog provlog概述
International Symposium on Practical Aspects of Declarative Languages Pub Date : 2017-01-16 DOI: 10.1007/978-3-319-51676-9_3
B. Dundua, Temur Kutsia, Klaus Reisenberger-Hagmayer
{"title":"An Overview of PρLog","authors":"B. Dundua, Temur Kutsia, Klaus Reisenberger-Hagmayer","doi":"10.1007/978-3-319-51676-9_3","DOIUrl":"https://doi.org/10.1007/978-3-319-51676-9_3","url":null,"abstract":"","PeriodicalId":293413,"journal":{"name":"International Symposium on Practical Aspects of Declarative Languages","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-01-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131932051","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}
引用次数: 12
Funky Grooves: Declarative Programming of Full-Fledged Musical Applications 时髦的凹槽:成熟的音乐应用程序的声明性编程
International Symposium on Practical Aspects of Declarative Languages Pub Date : 2017-01-16 DOI: 10.1007/978-3-319-51676-9_11
H. Nilsson, Guerric Chupin
{"title":"Funky Grooves: Declarative Programming of Full-Fledged Musical Applications","authors":"H. Nilsson, Guerric Chupin","doi":"10.1007/978-3-319-51676-9_11","DOIUrl":"https://doi.org/10.1007/978-3-319-51676-9_11","url":null,"abstract":"","PeriodicalId":293413,"journal":{"name":"International Symposium on Practical Aspects of Declarative Languages","volume":"184 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-01-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127060603","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
Failing Faster: Overlapping Patterns for Property-Based Testing 失败更快:基于属性的测试的重叠模式
International Symposium on Practical Aspects of Declarative Languages Pub Date : 2017-01-16 DOI: 10.1007/978-3-319-51676-9_7
J. Fowler, G. Hutton
{"title":"Failing Faster: Overlapping Patterns for Property-Based Testing","authors":"J. Fowler, G. Hutton","doi":"10.1007/978-3-319-51676-9_7","DOIUrl":"https://doi.org/10.1007/978-3-319-51676-9_7","url":null,"abstract":"","PeriodicalId":293413,"journal":{"name":"International Symposium on Practical Aspects of Declarative Languages","volume":"132 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-01-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116131156","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 Declarative DSL for Customizing ASCII Art 用于自定义ASCII艺术的声明式DSL
International Symposium on Practical Aspects of Declarative Languages Pub Date : 2017-01-16 DOI: 10.1007/978-3-319-51676-9_13
Felix S. Klock
{"title":"A Declarative DSL for Customizing ASCII Art","authors":"Felix S. Klock","doi":"10.1007/978-3-319-51676-9_13","DOIUrl":"https://doi.org/10.1007/978-3-319-51676-9_13","url":null,"abstract":"","PeriodicalId":293413,"journal":{"name":"International Symposium on Practical Aspects of Declarative Languages","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-01-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122118153","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
Eliminating Irrelevant Non-determinism in Functional Logic Programs 消除函数逻辑程序中不相关的非确定性
International Symposium on Practical Aspects of Declarative Languages Pub Date : 2017-01-16 DOI: 10.1007/978-3-319-51676-9_1
S. Antoy, M. Hanus
{"title":"Eliminating Irrelevant Non-determinism in Functional Logic Programs","authors":"S. Antoy, M. Hanus","doi":"10.1007/978-3-319-51676-9_1","DOIUrl":"https://doi.org/10.1007/978-3-319-51676-9_1","url":null,"abstract":"","PeriodicalId":293413,"journal":{"name":"International Symposium on Practical Aspects of Declarative Languages","volume":"432 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-01-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127072777","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
Extending Answer Set Programs with Interpreted Functions as First-Class Citizens 将解释函数扩展为一类公民的答案集程序
International Symposium on Practical Aspects of Declarative Languages Pub Date : 2017-01-16 DOI: 10.1007/978-3-319-51676-9_5
Christoph Redl
{"title":"Extending Answer Set Programs with Interpreted Functions as First-Class Citizens","authors":"Christoph Redl","doi":"10.1007/978-3-319-51676-9_5","DOIUrl":"https://doi.org/10.1007/978-3-319-51676-9_5","url":null,"abstract":"","PeriodicalId":293413,"journal":{"name":"International Symposium on Practical Aspects of Declarative Languages","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-01-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114989824","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
DALI for Cognitive Robotics: Principles and Prototype Implementation 认知机器人的DALI:原理和原型实现
International Symposium on Practical Aspects of Declarative Languages Pub Date : 2017-01-16 DOI: 10.1007/978-3-319-51676-9_10
S. Costantini, Giovanni De Gasperis, Giulio Nazzicone
{"title":"DALI for Cognitive Robotics: Principles and Prototype Implementation","authors":"S. Costantini, Giovanni De Gasperis, Giulio Nazzicone","doi":"10.1007/978-3-319-51676-9_10","DOIUrl":"https://doi.org/10.1007/978-3-319-51676-9_10","url":null,"abstract":"","PeriodicalId":293413,"journal":{"name":"International Symposium on Practical Aspects of Declarative Languages","volume":"22 5","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-01-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120859948","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}
引用次数: 15
Selection Equilibria of Higher-Order Games 高阶对策的选择均衡
International Symposium on Practical Aspects of Declarative Languages Pub Date : 2017-01-16 DOI: 10.1007/978-3-319-51676-9_9
Jules Hedges, Paulo Oliva, Evguenia Shprits, Viktor Winschel, Philipp Zahn
{"title":"Selection Equilibria of Higher-Order Games","authors":"Jules Hedges, Paulo Oliva, Evguenia Shprits, Viktor Winschel, Philipp Zahn","doi":"10.1007/978-3-319-51676-9_9","DOIUrl":"https://doi.org/10.1007/978-3-319-51676-9_9","url":null,"abstract":"","PeriodicalId":293413,"journal":{"name":"International Symposium on Practical Aspects of Declarative Languages","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-01-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127727475","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}
引用次数: 10
Integrating Answer Set Programming with Object-Oriented Languages 集成答案集编程与面向对象的语言
International Symposium on Practical Aspects of Declarative Languages Pub Date : 2017-01-16 DOI: 10.1007/978-3-319-51676-9_4
Jakob Rath, Christoph Redl
{"title":"Integrating Answer Set Programming with Object-Oriented Languages","authors":"Jakob Rath, Christoph Redl","doi":"10.1007/978-3-319-51676-9_4","DOIUrl":"https://doi.org/10.1007/978-3-319-51676-9_4","url":null,"abstract":"","PeriodicalId":293413,"journal":{"name":"International Symposium on Practical Aspects of Declarative Languages","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-01-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117004235","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}
引用次数: 5
首页 上一页 下一页 尾页
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学术文献互助群
群 号：481959085
Book学术官方微信