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

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

筛选
英文 中文
Navigating Online Semantic Resources for Entity Set Expansion 实体集扩展的在线语义资源导航
International Symposium on Practical Aspects of Declarative Languages Pub Date : 2018-01-08 DOI: 10.1007/978-3-319-73305-0_12
W. T. Adrian, M. Manna
{"title":"Navigating Online Semantic Resources for Entity Set Expansion","authors":"W. T. Adrian, M. Manna","doi":"10.1007/978-3-319-73305-0_12","DOIUrl":"https://doi.org/10.1007/978-3-319-73305-0_12","url":null,"abstract":"","PeriodicalId":293413,"journal":{"name":"International Symposium on Practical Aspects of Declarative Languages","volume":"127 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-01-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114097386","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
On k-colored Lambda Terms and Their Skeletons 关于k色λ项及其骨架
International Symposium on Practical Aspects of Declarative Languages Pub Date : 2018-01-08 DOI: 10.1007/978-3-319-73305-0_8
Paul Tarau
{"title":"On k-colored Lambda Terms and Their Skeletons","authors":"Paul Tarau","doi":"10.1007/978-3-319-73305-0_8","DOIUrl":"https://doi.org/10.1007/978-3-319-73305-0_8","url":null,"abstract":"","PeriodicalId":293413,"journal":{"name":"International Symposium on Practical Aspects of Declarative Languages","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-01-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123755949","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
An Automated Detection of Inconsistencies in SBVR-based Business Rules Using Many-sorted Logic 使用多排序逻辑自动检测基于sbvr的业务规则中的不一致性
International Symposium on Practical Aspects of Declarative Languages Pub Date : 2018-01-08 DOI: 10.1007/978-3-319-73305-0_6
Kritika Anand, Pavan Kumar Chittimalli, Ravindra Naik
{"title":"An Automated Detection of Inconsistencies in SBVR-based Business Rules Using Many-sorted Logic","authors":"Kritika Anand, Pavan Kumar Chittimalli, Ravindra Naik","doi":"10.1007/978-3-319-73305-0_6","DOIUrl":"https://doi.org/10.1007/978-3-319-73305-0_6","url":null,"abstract":"","PeriodicalId":293413,"journal":{"name":"International Symposium on Practical Aspects of Declarative Languages","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-01-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134091555","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}
引用次数: 8
Rewriting High-Level Spreadsheet Structures into Higher-Order Functional Programs 将高级电子表格结构重写为高阶函数程序
International Symposium on Practical Aspects of Declarative Languages Pub Date : 2018-01-08 DOI: 10.1007/978-3-319-73305-0_2
Florian Biermann, Wensheng Dou, P. Sestoft
{"title":"Rewriting High-Level Spreadsheet Structures into Higher-Order Functional Programs","authors":"Florian Biermann, Wensheng Dou, P. Sestoft","doi":"10.1007/978-3-319-73305-0_2","DOIUrl":"https://doi.org/10.1007/978-3-319-73305-0_2","url":null,"abstract":"","PeriodicalId":293413,"journal":{"name":"International Symposium on Practical Aspects of Declarative Languages","volume":"56 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-01-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115201896","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}
引用次数: 6
Three Is a Crowd: SAT, SMT and CLP on a Chessboard 三个是一群人:棋盘上的SAT, SMT和CLP
International Symposium on Practical Aspects of Declarative Languages Pub Date : 2018-01-08 DOI: 10.1007/978-3-319-73305-0_5
Sebastian Krings, M. Leuschel, Philipp Körner, S. Hallerstede, Miran Hasanagic
{"title":"Three Is a Crowd: SAT, SMT and CLP on a Chessboard","authors":"Sebastian Krings, M. Leuschel, Philipp Körner, S. Hallerstede, Miran Hasanagic","doi":"10.1007/978-3-319-73305-0_5","DOIUrl":"https://doi.org/10.1007/978-3-319-73305-0_5","url":null,"abstract":"","PeriodicalId":293413,"journal":{"name":"International Symposium on Practical Aspects of Declarative Languages","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-01-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114562943","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
Snårkl: Somewhat Practical, Pretty Much Declarative Verifiable Computing in Haskell snamatrkl:在Haskell中有点实用，相当多的声明式可验证计算
International Symposium on Practical Aspects of Declarative Languages Pub Date : 2018-01-08 DOI: 10.1007/978-3-319-73305-0_3
Gordon Stewart, S. Merten, Logan Leland
{"title":"Snårkl: Somewhat Practical, Pretty Much Declarative Verifiable Computing in Haskell","authors":"Gordon Stewart, S. Merten, Logan Leland","doi":"10.1007/978-3-319-73305-0_3","DOIUrl":"https://doi.org/10.1007/978-3-319-73305-0_3","url":null,"abstract":"","PeriodicalId":293413,"journal":{"name":"International Symposium on Practical Aspects of Declarative Languages","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-01-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114381380","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
A REST-Based Development Framework for ASP: Tools and Application 基于rest的ASP开发框架:工具和应用程序
International Symposium on Practical Aspects of Declarative Languages Pub Date : 2018-01-08 DOI: 10.1007/978-3-319-73305-0_11
Gelsomina Catalano, Giovanni Laboccetta, Kristian Reale, F. Ricca, P. Veltri
{"title":"A REST-Based Development Framework for ASP: Tools and Application","authors":"Gelsomina Catalano, Giovanni Laboccetta, Kristian Reale, F. Ricca, P. Veltri","doi":"10.1007/978-3-319-73305-0_11","DOIUrl":"https://doi.org/10.1007/978-3-319-73305-0_11","url":null,"abstract":"","PeriodicalId":293413,"journal":{"name":"International Symposium on Practical Aspects of Declarative Languages","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-01-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128967336","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
LoIDE: A Web-Based IDE for Logic Programming Preliminary Report LoIDE:基于web的逻辑编程IDE初步报告
International Symposium on Practical Aspects of Declarative Languages Pub Date : 2018-01-08 DOI: 10.1007/978-3-319-73305-0_10
Stefano Germano, Francesco Calimeri, Eliana Palermiti
{"title":"LoIDE: A Web-Based IDE for Logic Programming Preliminary Report","authors":"Stefano Germano, Francesco Calimeri, Eliana Palermiti","doi":"10.1007/978-3-319-73305-0_10","DOIUrl":"https://doi.org/10.1007/978-3-319-73305-0_10","url":null,"abstract":"","PeriodicalId":293413,"journal":{"name":"International Symposium on Practical Aspects of Declarative Languages","volume":"63 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-01-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123894251","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
Hygienic Source-Code Generation Using Functors - (Extended Abstract) 使用函子生成卫生的源代码-(扩展摘要)
International Symposium on Practical Aspects of Declarative Languages Pub Date : 2018-01-04 DOI: 10.1007/978-3-319-73305-0_4
Karl Crary
{"title":"Hygienic Source-Code Generation Using Functors - (Extended Abstract)","authors":"Karl Crary","doi":"10.1007/978-3-319-73305-0_4","DOIUrl":"https://doi.org/10.1007/978-3-319-73305-0_4","url":null,"abstract":"","PeriodicalId":293413,"journal":{"name":"International Symposium on Practical Aspects of Declarative Languages","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-01-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114584777","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
Exploiting Term Hiding to Reduce Run-Time Checking Overhead 利用术语隐藏来减少运行时检查开销
International Symposium on Practical Aspects of Declarative Languages Pub Date : 2017-05-18 DOI: 10.1007/978-3-319-73305-0_7
N. Stulova, J. Morales, M. Hermenegildo
{"title":"Exploiting Term Hiding to Reduce Run-Time Checking Overhead","authors":"N. Stulova, J. Morales, M. Hermenegildo","doi":"10.1007/978-3-319-73305-0_7","DOIUrl":"https://doi.org/10.1007/978-3-319-73305-0_7","url":null,"abstract":"","PeriodicalId":293413,"journal":{"name":"International Symposium on Practical Aspects of Declarative Languages","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-05-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130695766","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学术官方微信