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

Asian Symposium on Programming Languages and Systems最新文献

筛选
英文 中文
Formal Small-step Verification of a Call-by-value Lambda Calculus Machine 按值调用λ演算机的形式小步验证
Asian Symposium on Programming Languages and Systems Pub Date : 2018-06-08 DOI: 10.1007/978-3-030-02768-1_15
F. Kunze, G. Smolka, Y. Forster
{"title":"Formal Small-step Verification of a Call-by-value Lambda Calculus Machine","authors":"F. Kunze, G. Smolka, Y. Forster","doi":"10.1007/978-3-030-02768-1_15","DOIUrl":"https://doi.org/10.1007/978-3-030-02768-1_15","url":null,"abstract":"","PeriodicalId":186570,"journal":{"name":"Asian Symposium on Programming Languages and Systems","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-06-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130222064","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
On the Complexity of Pointer Arithmetic in Separation Logic (an extended version) 论分离逻辑中指针运算的复杂性(扩展版)
Asian Symposium on Programming Languages and Systems Pub Date : 2018-03-08 DOI: 10.1007/978-3-030-02768-1_18
J. Brotherston, M. Kanovich
{"title":"On the Complexity of Pointer Arithmetic in Separation Logic (an extended version)","authors":"J. Brotherston, M. Kanovich","doi":"10.1007/978-3-030-02768-1_18","DOIUrl":"https://doi.org/10.1007/978-3-030-02768-1_18","url":null,"abstract":"","PeriodicalId":186570,"journal":{"name":"Asian Symposium on Programming Languages and Systems","volume":"87 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-03-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126318930","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
Weakly Sensitive Analysis for Unbounded Iteration over JavaScript Objects JavaScript对象无界迭代的弱敏感分析
Asian Symposium on Programming Languages and Systems Pub Date : 2017-11-27 DOI: 10.1007/978-3-319-71237-6_8
Yoonseok Ko, Xavier Rival, Sukyoung Ryu
{"title":"Weakly Sensitive Analysis for Unbounded Iteration over JavaScript Objects","authors":"Yoonseok Ko, Xavier Rival, Sukyoung Ryu","doi":"10.1007/978-3-319-71237-6_8","DOIUrl":"https://doi.org/10.1007/978-3-319-71237-6_8","url":null,"abstract":"","PeriodicalId":186570,"journal":{"name":"Asian Symposium on Programming Languages and Systems","volume":"48 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-11-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127234478","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
Counterexample-Guided Bit-Precision Selection 反例引导的位精度选择
Asian Symposium on Programming Languages and Systems Pub Date : 2017-11-27 DOI: 10.1007/978-3-319-71237-6_26
Shaobo He, Zvonimir Rakamaric
{"title":"Counterexample-Guided Bit-Precision Selection","authors":"Shaobo He, Zvonimir Rakamaric","doi":"10.1007/978-3-319-71237-6_26","DOIUrl":"https://doi.org/10.1007/978-3-319-71237-6_26","url":null,"abstract":"","PeriodicalId":186570,"journal":{"name":"Asian Symposium on Programming Languages and Systems","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-11-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114257863","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}
引用次数: 7
Bringing Order to the Separation Logic Jungle 给分离逻辑丛林带来秩序
Asian Symposium on Programming Languages and Systems Pub Date : 2017-11-27 DOI: 10.1007/978-3-319-71237-6_10
Qinxiang Cao, Santiago Cuellar, A. Appel
{"title":"Bringing Order to the Separation Logic Jungle","authors":"Qinxiang Cao, Santiago Cuellar, A. Appel","doi":"10.1007/978-3-319-71237-6_10","DOIUrl":"https://doi.org/10.1007/978-3-319-71237-6_10","url":null,"abstract":"","PeriodicalId":186570,"journal":{"name":"Asian Symposium on Programming Languages and Systems","volume":"234 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-11-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121980702","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}
引用次数: 18
Capabilities for Java: Secure Access to Resources Java的功能:对资源的安全访问
Asian Symposium on Programming Languages and Systems Pub Date : 2017-11-27 DOI: 10.1007/978-3-319-71237-6_4
I. Hayes, Xi Wu, L. Meinicke
{"title":"Capabilities for Java: Secure Access to Resources","authors":"I. Hayes, Xi Wu, L. Meinicke","doi":"10.1007/978-3-319-71237-6_4","DOIUrl":"https://doi.org/10.1007/978-3-319-71237-6_4","url":null,"abstract":"","PeriodicalId":186570,"journal":{"name":"Asian Symposium on Programming Languages and Systems","volume":"1149 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-11-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128287763","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
The Negligible and Yet Subtle Cost of Pattern Matching 模式匹配的可忽略的和微妙的代价
Asian Symposium on Programming Languages and Systems Pub Date : 2017-11-27 DOI: 10.1007/978-3-319-71237-6_21
Beniamino Accattoli, Bruno Barras
{"title":"The Negligible and Yet Subtle Cost of Pattern Matching","authors":"Beniamino Accattoli, Bruno Barras","doi":"10.1007/978-3-319-71237-6_21","DOIUrl":"https://doi.org/10.1007/978-3-319-71237-6_21","url":null,"abstract":"","PeriodicalId":186570,"journal":{"name":"Asian Symposium on Programming Languages and Systems","volume":"208 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-11-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114288993","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
Taming Message-Passing Communication in Compositional Reasoning About Confidentiality 机密性组合推理中驯服消息传递通信
Asian Symposium on Programming Languages and Systems Pub Date : 2017-11-27 DOI: 10.1007/978-3-319-71237-6_3
Ximeng Li, H. Mantel, Markus Tasch
{"title":"Taming Message-Passing Communication in Compositional Reasoning About Confidentiality","authors":"Ximeng Li, H. Mantel, Markus Tasch","doi":"10.1007/978-3-319-71237-6_3","DOIUrl":"https://doi.org/10.1007/978-3-319-71237-6_3","url":null,"abstract":"","PeriodicalId":186570,"journal":{"name":"Asian Symposium on Programming Languages and Systems","volume":"45 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-11-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122851959","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}
引用次数: 7
Safety and Liveness of MCS Lock - Layer by Layer MCS锁的安全性和活跃性——逐层分析
Asian Symposium on Programming Languages and Systems Pub Date : 2017-11-27 DOI: 10.1007/978-3-319-71237-6_14
Jieung Kim, Vilhelm Sjöberg, Ronghui Gu, Zhong Shao
{"title":"Safety and Liveness of MCS Lock - Layer by Layer","authors":"Jieung Kim, Vilhelm Sjöberg, Ronghui Gu, Zhong Shao","doi":"10.1007/978-3-319-71237-6_14","DOIUrl":"https://doi.org/10.1007/978-3-319-71237-6_14","url":null,"abstract":"","PeriodicalId":186570,"journal":{"name":"Asian Symposium on Programming Languages and Systems","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-11-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126757534","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}
引用次数: 21
Sound and Efficient Language-Integrated Query - Maintaining the ORDER 健全高效的语言集成查询-维护秩序
Asian Symposium on Programming Languages and Systems Pub Date : 2017-11-27 DOI: 10.1007/978-3-319-71237-6_18
O. Kiselyov, Tatsuya Katsushima
{"title":"Sound and Efficient Language-Integrated Query - Maintaining the ORDER","authors":"O. Kiselyov, Tatsuya Katsushima","doi":"10.1007/978-3-319-71237-6_18","DOIUrl":"https://doi.org/10.1007/978-3-319-71237-6_18","url":null,"abstract":"","PeriodicalId":186570,"journal":{"name":"Asian Symposium on Programming Languages and Systems","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-11-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124266367","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
首页 上一页 下一页 尾页
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学术官方微信
小红书