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

Artifact Digital Object Group最新文献

筛选
英文 中文
Replication Package for Article: "Persistent Software Transactional Memory in Haskell" 文章的复制包:“Haskell中的持久软件事务性内存”
Artifact Digital Object Group Pub Date : 2021-08-17 DOI: 10.1145/3462301
Nicolas Krauter, Patrick Raaf, P. Braam, Reza Salkhordeh, Sebastian Erdweg, A. Brinkmann
{"title":"Replication Package for Article: \"Persistent Software Transactional Memory in Haskell\"","authors":"Nicolas Krauter, Patrick Raaf, P. Braam, Reza Salkhordeh, Sebastian Erdweg, A. Brinkmann","doi":"10.1145/3462301","DOIUrl":"https://doi.org/10.1145/3462301","url":null,"abstract":"","PeriodicalId":152027,"journal":{"name":"Artifact Digital Object Group","volume":"50 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-08-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115904708","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
Replication Package of the Article: Lightweight Global and Local Contexts Guided Method Name Recommendation with Prior Knowledge 文章的复制包:基于先验知识的轻量级全局和局部上下文引导方法名称推荐
Artifact Digital Object Group Pub Date : 2021-08-17 DOI: 10.1145/3462293
Shangwen Wang, Ming Wen, Bo Lin, Xiaoguang Mao
{"title":"Replication Package of the Article: Lightweight Global and Local Contexts Guided Method Name Recommendation with Prior Knowledge","authors":"Shangwen Wang, Ming Wen, Bo Lin, Xiaoguang Mao","doi":"10.1145/3462293","DOIUrl":"https://doi.org/10.1145/3462293","url":null,"abstract":"","PeriodicalId":152027,"journal":{"name":"Artifact Digital Object Group","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-08-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116911085","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
Replication Package for Article: Distributing Intersection and Union Types with Splits and Duality (Functional Pearl) 文章复制包:带分裂和对偶的交集和并型分布(功能珍珠)
Artifact Digital Object Group Pub Date : 2021-08-17 DOI: 10.1145/3462298
Xuejing Huang, B. C. D. S. Oliveira
{"title":"Replication Package for Article: Distributing Intersection and Union Types with Splits and Duality (Functional Pearl)","authors":"Xuejing Huang, B. C. D. S. Oliveira","doi":"10.1145/3462298","DOIUrl":"https://doi.org/10.1145/3462298","url":null,"abstract":"","PeriodicalId":152027,"journal":{"name":"Artifact Digital Object Group","volume":"45 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-08-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134263247","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
Demo code for "Design Patterns for Parser Combinators (Functional Pearl)" “解析器组合子的设计模式(功能珍珠)”的演示代码
Artifact Digital Object Group Pub Date : 2021-08-17 DOI: 10.1145/3462286
Jamie Willis, Nicolas Wu
{"title":"Demo code for \"Design Patterns for Parser Combinators (Functional Pearl)\"","authors":"Jamie Willis, Nicolas Wu","doi":"10.1145/3462286","DOIUrl":"https://doi.org/10.1145/3462286","url":null,"abstract":"","PeriodicalId":152027,"journal":{"name":"Artifact Digital Object Group","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-08-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116626084","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
Accompanying material: Practical Normalization by Evaluation for EDSLs 随附材料:edsl的实用归一化评价
Artifact Digital Object Group Pub Date : 2021-08-17 DOI: 10.1145/3462285
Nachiappan Valliappan, Alejandro Russo, S. Lindley
{"title":"Accompanying material: Practical Normalization by Evaluation for EDSLs","authors":"Nachiappan Valliappan, Alejandro Russo, S. Lindley","doi":"10.1145/3462285","DOIUrl":"https://doi.org/10.1145/3462285","url":null,"abstract":"","PeriodicalId":152027,"journal":{"name":"Artifact Digital Object Group","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-08-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132811198","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
Slicer4J
Artifact Digital Object Group Pub Date : 2021-08-17 DOI: 10.1145/3462288
Khaled Ahmed, Mieszko Lis, J. Rubin
{"title":"Slicer4J","authors":"Khaled Ahmed, Mieszko Lis, J. Rubin","doi":"10.1145/3462288","DOIUrl":"https://doi.org/10.1145/3462288","url":null,"abstract":"","PeriodicalId":152027,"journal":{"name":"Artifact Digital Object Group","volume":"56 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-08-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122199533","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
Replication Package for Article: GLIB: Towards Automated Test Oracle for Graphically-Rich Applications 文章的复制包:GLIB:迈向图形丰富应用程序的自动化测试Oracle
Artifact Digital Object Group Pub Date : 2021-08-17 DOI: 10.1145/3462294
Ke Chen, Yufei Li, Yingfeng Chen, Changjie Fan, Zhipeng Hu, Wei Yang
{"title":"Replication Package for Article: GLIB: Towards Automated Test Oracle for Graphically-Rich Applications","authors":"Ke Chen, Yufei Li, Yingfeng Chen, Changjie Fan, Zhipeng Hu, Wei Yang","doi":"10.1145/3462294","DOIUrl":"https://doi.org/10.1145/3462294","url":null,"abstract":"","PeriodicalId":152027,"journal":{"name":"Artifact Digital Object Group","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-08-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127738125","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
Artefact for _Evaluating Linear Functions to Symmetric Monoidal Categories_ 对称一元范畴线性函数求值的伪函数
Artifact Digital Object Group Pub Date : 2021-08-17 DOI: 10.1145/3462282
Jean-Philippe Bernardy, A. Spiwack
{"title":"Artefact for _Evaluating Linear Functions to Symmetric Monoidal Categories_","authors":"Jean-Philippe Bernardy, A. Spiwack","doi":"10.1145/3462282","DOIUrl":"https://doi.org/10.1145/3462282","url":null,"abstract":"","PeriodicalId":152027,"journal":{"name":"Artifact Digital Object Group","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-08-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117133335","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
Agda Code for Article: Calculating Dependently-Typed Compilers (Functional Pearl) 文章的议程代码:计算依赖类型编译器(函数珍珠)
Artifact Digital Object Group Pub Date : 2021-08-17 DOI: 10.1145/3462297
Michael Pickard, G. Hutton
{"title":"Agda Code for Article: Calculating Dependently-Typed Compilers (Functional Pearl)","authors":"Michael Pickard, G. Hutton","doi":"10.1145/3462297","DOIUrl":"https://doi.org/10.1145/3462297","url":null,"abstract":"","PeriodicalId":152027,"journal":{"name":"Artifact Digital Object Group","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-08-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115923330","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
Artifact for Article (SIVAND): Understanding Neural Code Intelligence Through Program Simplification 文章人工制品(SIVAND):通过程序简化理解神经代码智能
Artifact Digital Object Group Pub Date : 2021-08-17 DOI: 10.1145/3462296
Md Rafiqul Islam Rabin, V. Hellendoorn, Mohammad Amin Alipour
{"title":"Artifact for Article (SIVAND): Understanding Neural Code Intelligence Through Program Simplification","authors":"Md Rafiqul Islam Rabin, V. Hellendoorn, Mohammad Amin Alipour","doi":"10.1145/3462296","DOIUrl":"https://doi.org/10.1145/3462296","url":null,"abstract":"","PeriodicalId":152027,"journal":{"name":"Artifact Digital Object Group","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-08-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128284768","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
首页 上一页 下一页 尾页
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学术官方微信