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

Artifact Digital Object Group最新文献

筛选
英文 中文
Replication Package for Article 文章复制包
Artifact Digital Object Group Pub Date : 2019-11-26 DOI: 10.1145/3373107
M. Greenberg, Austin J. Blatt
{"title":"Replication Package for Article","authors":"M. Greenberg, Austin J. Blatt","doi":"10.1145/3373107","DOIUrl":"https://doi.org/10.1145/3373107","url":null,"abstract":"","PeriodicalId":152027,"journal":{"name":"Artifact Digital Object Group","volume":"70 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-11-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115063849","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 文章复制包
Artifact Digital Object Group Pub Date : 2019-11-25 DOI: 10.1145/3373112
Mukund Raghothaman, Jonathan Mendelson, David Zhao, M. Naik, Bernhard Scholz
{"title":"Replication Package for Article","authors":"Mukund Raghothaman, Jonathan Mendelson, David Zhao, M. Naik, Bernhard Scholz","doi":"10.1145/3373112","DOIUrl":"https://doi.org/10.1145/3373112","url":null,"abstract":"","PeriodicalId":152027,"journal":{"name":"Artifact Digital Object Group","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-11-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127885759","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
Mechanisation of "The Weak Call-By-Value ?-Calculus is Reasonable for Both Time and Space" “弱按值调用?-微积分在时间和空间上都是合理的”的机械化
Artifact Digital Object Group Pub Date : 2019-11-06 DOI: 10.1145/3373103
Y. Forster, F. Kunze, M. Roth
{"title":"Mechanisation of \"The Weak Call-By-Value ?-Calculus is Reasonable for Both Time and Space\"","authors":"Y. Forster, F. Kunze, M. Roth","doi":"10.1145/3373103","DOIUrl":"https://doi.org/10.1145/3373103","url":null,"abstract":"","PeriodicalId":152027,"journal":{"name":"Artifact Digital Object Group","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130233351","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
Models, Algorithms, and Proofs for "Mechanized Semantics and Verified Compilation for a Dataflow Synchronous Language with Reset" “带重置的数据流同步语言的机械化语义和验证编译”的模型、算法和证明
Artifact Digital Object Group Pub Date : 2019-10-22 DOI: 10.1145/3373108
T. Bourke, Lélio Brun, Marc Pouzet
{"title":"Models, Algorithms, and Proofs for \"Mechanized Semantics and Verified Compilation for a Dataflow Synchronous Language with Reset\"","authors":"T. Bourke, Lélio Brun, Marc Pouzet","doi":"10.1145/3373108","DOIUrl":"https://doi.org/10.1145/3373108","url":null,"abstract":"","PeriodicalId":152027,"journal":{"name":"Artifact Digital Object Group","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114568715","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
Experiment for Article 文章实验
Artifact Digital Object Group Pub Date : 2019-10-02 DOI: 10.1145/3365463
Lukas Diekmann, L. Tratt
{"title":"Experiment for Article","authors":"Lukas Diekmann, L. Tratt","doi":"10.1145/3365463","DOIUrl":"https://doi.org/10.1145/3365463","url":null,"abstract":"","PeriodicalId":152027,"journal":{"name":"Artifact Digital Object Group","volume":"58 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129586532","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
Source Code for "Developing a Monadic Type Checker for an Object-Oriented Language" “为面向对象语言开发一元类型检查器”的源代码
Artifact Digital Object Group Pub Date : 2019-10-02 DOI: 10.1145/3365461
Elias Castegren, Kiko Fernandez-Reyes
{"title":"Source Code for \"Developing a Monadic Type Checker for an Object-Oriented Language\"","authors":"Elias Castegren, Kiko Fernandez-Reyes","doi":"10.1145/3365461","DOIUrl":"https://doi.org/10.1145/3365461","url":null,"abstract":"","PeriodicalId":152027,"journal":{"name":"Artifact Digital Object Group","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122235053","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 the Paper 纸上的神器
Artifact Digital Object Group Pub Date : 2019-09-11 DOI: 10.1145/3361529
Bo Shen, Wei Zhang, Haiyan Zhao, Guangtai Liang, Zhi Jin, Qianxiang Wang
{"title":"Artifact for the Paper","authors":"Bo Shen, Wei Zhang, Haiyan Zhao, Guangtai Liang, Zhi Jin, Qianxiang Wang","doi":"10.1145/3361529","DOIUrl":"https://doi.org/10.1145/3361529","url":null,"abstract":"","PeriodicalId":152027,"journal":{"name":"Artifact Digital Object Group","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-09-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130554119","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
Artifacts for Article 物品制品
Artifact Digital Object Group Pub Date : 2019-09-09 DOI: 10.1145/3361527
Sifei Luan, Di Yang, Celeste Barnaby, Koushik Sen, S. Chandra
{"title":"Artifacts for Article","authors":"Sifei Luan, Di Yang, Celeste Barnaby, Koushik Sen, S. Chandra","doi":"10.1145/3361527","DOIUrl":"https://doi.org/10.1145/3361527","url":null,"abstract":"","PeriodicalId":152027,"journal":{"name":"Artifact Digital Object Group","volume":"51 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-09-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122789037","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
Examples of JSON data generated by Vitals-Scraper script Vitals-Scraper脚本生成的JSON数据示例
Artifact Digital Object Group Pub Date : 2019-07-22 DOI: 10.1145/3345843
Julian Harty, Matthias M�ller
{"title":"Examples of JSON data generated by Vitals-Scraper script","authors":"Julian Harty, Matthias M�ller","doi":"10.1145/3345843","DOIUrl":"https://doi.org/10.1145/3345843","url":null,"abstract":"","PeriodicalId":152027,"journal":{"name":"Artifact Digital Object Group","volume":"109 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-07-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122712935","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 Segmented Memory Model 分段内存模型的复制包
Artifact Digital Object Group Pub Date : 2019-07-19 DOI: 10.1145/3345840
Timotej Kapus, Cristian Cadar
{"title":"Replication package for Segmented Memory Model","authors":"Timotej Kapus, Cristian Cadar","doi":"10.1145/3345840","DOIUrl":"https://doi.org/10.1145/3345840","url":null,"abstract":"","PeriodicalId":152027,"journal":{"name":"Artifact Digital Object Group","volume":"115 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-07-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131008351","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
首页 上一页 下一页 尾页
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学术官方微信