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

Asian Symposium on Programming Languages and Systems最新文献

筛选
英文 中文
Recursion Schemes in Coq Coq中的递归方案
Asian Symposium on Programming Languages and Systems Pub Date : 2019-12-01 DOI: 10.1007/978-3-030-34175-6_11
Kosuke Murata, Kento Emoto
{"title":"Recursion Schemes in Coq","authors":"Kosuke Murata, Kento Emoto","doi":"10.1007/978-3-030-34175-6_11","DOIUrl":"https://doi.org/10.1007/978-3-030-34175-6_11","url":null,"abstract":"","PeriodicalId":186570,"journal":{"name":"Asian Symposium on Programming Languages and Systems","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115961914","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
J-ReCoVer: Java Reducer Commutativity Verifier J-ReCoVer: Java Reducer交换验证器
Asian Symposium on Programming Languages and Systems Pub Date : 2019-12-01 DOI: 10.1007/978-3-030-34175-6_18
Yu-Fang Chen, Chang-Yi Chiang, L. Holík, Wei-Tsung Kao, Hsin-hung Lin, Tomáš Vojnar, Y. Wen, Wei-Cheng Wu
{"title":"J-ReCoVer: Java Reducer Commutativity Verifier","authors":"Yu-Fang Chen, Chang-Yi Chiang, L. Holík, Wei-Tsung Kao, Hsin-hung Lin, Tomáš Vojnar, Y. Wen, Wei-Cheng Wu","doi":"10.1007/978-3-030-34175-6_18","DOIUrl":"https://doi.org/10.1007/978-3-030-34175-6_18","url":null,"abstract":"","PeriodicalId":186570,"journal":{"name":"Asian Symposium on Programming Languages and Systems","volume":"180 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121430686","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
Conflict Abstractions and Shadow Speculation for Optimistic Transactional Objects 乐观事务对象的冲突抽象和影子推测
Asian Symposium on Programming Languages and Systems Pub Date : 2019-12-01 DOI: 10.1007/978-3-030-34175-6_16
Thomas D. Dickerson, Eric Koskinen, Paul Gazzillo, M. Herlihy
{"title":"Conflict Abstractions and Shadow Speculation for Optimistic Transactional Objects","authors":"Thomas D. Dickerson, Eric Koskinen, Paul Gazzillo, M. Herlihy","doi":"10.1007/978-3-030-34175-6_16","DOIUrl":"https://doi.org/10.1007/978-3-030-34175-6_16","url":null,"abstract":"","PeriodicalId":186570,"journal":{"name":"Asian Symposium on Programming Languages and Systems","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132878018","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
Reducing Static Analysis Alarms Based on Non-impacting Control Dependencies 基于非影响性控制依赖减少静态分析告警
Asian Symposium on Programming Languages and Systems Pub Date : 2019-12-01 DOI: 10.1007/978-3-030-34175-6_7
Tukaram Muske, Rohith Talluri, A. Serebrenik
{"title":"Reducing Static Analysis Alarms Based on Non-impacting Control Dependencies","authors":"Tukaram Muske, Rohith Talluri, A. Serebrenik","doi":"10.1007/978-3-030-34175-6_7","DOIUrl":"https://doi.org/10.1007/978-3-030-34175-6_7","url":null,"abstract":"","PeriodicalId":186570,"journal":{"name":"Asian Symposium on Programming Languages and Systems","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131677258","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
Android Multitasking Mechanism: Formal Semantics and Static Analysis of Apps Android多任务机制:应用程序的形式语义和静态分析
Asian Symposium on Programming Languages and Systems Pub Date : 2019-12-01 DOI: 10.1007/978-3-030-34175-6_15
Jinlong He, Taolue Chen, Ping Wang, Zhilin Wu, Jun Yan
{"title":"Android Multitasking Mechanism: Formal Semantics and Static Analysis of Apps","authors":"Jinlong He, Taolue Chen, Ping Wang, Zhilin Wu, Jun Yan","doi":"10.1007/978-3-030-34175-6_15","DOIUrl":"https://doi.org/10.1007/978-3-030-34175-6_15","url":null,"abstract":"","PeriodicalId":186570,"journal":{"name":"Asian Symposium on Programming Languages and Systems","volume":"47 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115906595","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
On Strings in Software Model Checking 论软件模型检查中的字符串
Asian Symposium on Programming Languages and Systems Pub Date : 2019-12-01 DOI: 10.1007/978-3-030-34175-6_2
Hossein Hojjat, Philipp Rümmer, Ali Shamakhi
{"title":"On Strings in Software Model Checking","authors":"Hossein Hojjat, Philipp Rümmer, Ali Shamakhi","doi":"10.1007/978-3-030-34175-6_2","DOIUrl":"https://doi.org/10.1007/978-3-030-34175-6_2","url":null,"abstract":"","PeriodicalId":186570,"journal":{"name":"Asian Symposium on Programming Languages and Systems","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131550291","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
Uniform Random Process Model Revisited 重新审视均匀随机过程模型
Asian Symposium on Programming Languages and Systems Pub Date : 2019-12-01 DOI: 10.1007/978-3-030-34175-6_20
Wenbo Zhang, Huan Long, Xian Xu
{"title":"Uniform Random Process Model Revisited","authors":"Wenbo Zhang, Huan Long, Xian Xu","doi":"10.1007/978-3-030-34175-6_20","DOIUrl":"https://doi.org/10.1007/978-3-030-34175-6_20","url":null,"abstract":"","PeriodicalId":186570,"journal":{"name":"Asian Symposium on Programming Languages and Systems","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123972149","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
Mimalloc: Free List Sharding in Action Mimalloc: Free List Sharding in Action
Asian Symposium on Programming Languages and Systems Pub Date : 2019-12-01 DOI: 10.1007/978-3-030-34175-6_13
Daan Leijen, B. Zorn, L. D. Moura
{"title":"Mimalloc: Free List Sharding in Action","authors":"Daan Leijen, B. Zorn, L. D. Moura","doi":"10.1007/978-3-030-34175-6_13","DOIUrl":"https://doi.org/10.1007/978-3-030-34175-6_13","url":null,"abstract":"","PeriodicalId":186570,"journal":{"name":"Asian Symposium on Programming Languages and Systems","volume":"364 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131680759","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}
引用次数: 38
Succinct Determinisation of Counting Automata via Sphere Construction (Technical Report) 计数自动机的球面构造简捷确定(技术报告)
Asian Symposium on Programming Languages and Systems Pub Date : 2019-10-04 DOI: 10.1007/978-3-030-34175-6_24
L. Holík, Ondřej Lengál, Olli Saarikivi, Lenka Turonová, Margus Veanes, Tomáš Vojnar
{"title":"Succinct Determinisation of Counting Automata via Sphere Construction (Technical Report)","authors":"L. Holík, Ondřej Lengál, Olli Saarikivi, Lenka Turonová, Margus Veanes, Tomáš Vojnar","doi":"10.1007/978-3-030-34175-6_24","DOIUrl":"https://doi.org/10.1007/978-3-030-34175-6_24","url":null,"abstract":"","PeriodicalId":186570,"journal":{"name":"Asian Symposium on Programming Languages and Systems","volume":"117 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132711800","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}
引用次数: 9
Compositional Verification of Heap-Manipulating Programs through Property-Guided Learning 基于属性引导学习的堆处理程序的组成验证
Asian Symposium on Programming Languages and Systems Pub Date : 2019-08-27 DOI: 10.1007/978-3-030-34175-6_21
Long H. Pham, Jun Sun, Quang Loc Le
{"title":"Compositional Verification of Heap-Manipulating Programs through Property-Guided Learning","authors":"Long H. Pham, Jun Sun, Quang Loc Le","doi":"10.1007/978-3-030-34175-6_21","DOIUrl":"https://doi.org/10.1007/978-3-030-34175-6_21","url":null,"abstract":"","PeriodicalId":186570,"journal":{"name":"Asian Symposium on Programming Languages and Systems","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-08-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115396435","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
首页 上一页 下一页 尾页
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学术官方微信
小红书