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

Asian Symposium on Programming Languages and Systems最新文献

筛选
英文 中文
Fully Abstract and Robust Compilation: And How to Reconcile the Two, Abstractly 完全抽象和健壮编译:以及如何抽象地协调两者
Asian Symposium on Programming Languages and Systems Pub Date : 2020-06-26 DOI: 10.1007/978-3-030-89051-3_6
Carmine Abate, Matteo Busi, Stelios Tsampas
{"title":"Fully Abstract and Robust Compilation: And How to Reconcile the Two, Abstractly","authors":"Carmine Abate, Matteo Busi, Stelios Tsampas","doi":"10.1007/978-3-030-89051-3_6","DOIUrl":"https://doi.org/10.1007/978-3-030-89051-3_6","url":null,"abstract":"","PeriodicalId":186570,"journal":{"name":"Asian Symposium on Programming Languages and Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-06-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131085762","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
Certified Semantics for Relational Programming 关系编程的认证语义
Asian Symposium on Programming Languages and Systems Pub Date : 2020-05-01 DOI: 10.1007/978-3-030-64437-6_9
Dmitry Rozplokhas, A. Vyatkin, Dmitry Boulytchev
{"title":"Certified Semantics for Relational Programming","authors":"Dmitry Rozplokhas, A. Vyatkin, Dmitry Boulytchev","doi":"10.1007/978-3-030-64437-6_9","DOIUrl":"https://doi.org/10.1007/978-3-030-64437-6_9","url":null,"abstract":"","PeriodicalId":186570,"journal":{"name":"Asian Symposium on Programming Languages and Systems","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134599936","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
RHLE: Modular Deductive Verification of Relational ∀ ∃ Properties 关系式∀∃性质的模演绎验证
Asian Symposium on Programming Languages and Systems Pub Date : 2020-02-07 DOI: 10.1007/978-3-031-21037-2_4
R. Dickerson, Qianchuan Ye, Michael K. Zhang, Benjamin Delaware
{"title":"RHLE: Modular Deductive Verification of Relational ∀ ∃ Properties","authors":"R. Dickerson, Qianchuan Ye, Michael K. Zhang, Benjamin Delaware","doi":"10.1007/978-3-031-21037-2_4","DOIUrl":"https://doi.org/10.1007/978-3-031-21037-2_4","url":null,"abstract":"","PeriodicalId":186570,"journal":{"name":"Asian Symposium on Programming Languages and Systems","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-02-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123955755","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
Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language 核心面向对象语言中内存和方法安全的行为类型
Asian Symposium on Programming Languages and Systems Pub Date : 2020-02-01 DOI: 10.1007/978-3-030-64437-6_6
M. Bravetti, Adrian Francalanza, Iaroslav Golovanov, Hans Hüttel, Mathias Jakobsen, Mikkel Kettunen, A. Ravara
{"title":"Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language","authors":"M. Bravetti, Adrian Francalanza, Iaroslav Golovanov, Hans Hüttel, Mathias Jakobsen, Mikkel Kettunen, A. Ravara","doi":"10.1007/978-3-030-64437-6_6","DOIUrl":"https://doi.org/10.1007/978-3-030-64437-6_6","url":null,"abstract":"","PeriodicalId":186570,"journal":{"name":"Asian Symposium on Programming Languages and Systems","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123239492","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
Formal Verifications of Call-by-Need and Call-by-Name Evaluations with Mutual Recursion 互递归下按需调用和按名调用的形式化验证
Asian Symposium on Programming Languages and Systems Pub Date : 2019-12-01 DOI: 10.1007/978-3-030-34175-6_10
Masayuki Mizuno, Eijiro Sumii
{"title":"Formal Verifications of Call-by-Need and Call-by-Name Evaluations with Mutual Recursion","authors":"Masayuki Mizuno, Eijiro Sumii","doi":"10.1007/978-3-030-34175-6_10","DOIUrl":"https://doi.org/10.1007/978-3-030-34175-6_10","url":null,"abstract":"","PeriodicalId":186570,"journal":{"name":"Asian Symposium on Programming Languages and Systems","volume":"36 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":"129051406","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
Lightweight Functional Logic Meta-Programming 轻量级功能逻辑元编程
Asian Symposium on Programming Languages and Systems Pub Date : 2019-12-01 DOI: 10.1007/978-3-030-34175-6_12
Nada Amin, William E. Byrd, Tiark Rompf
{"title":"Lightweight Functional Logic Meta-Programming","authors":"Nada Amin, William E. Byrd, Tiark Rompf","doi":"10.1007/978-3-030-34175-6_12","DOIUrl":"https://doi.org/10.1007/978-3-030-34175-6_12","url":null,"abstract":"","PeriodicalId":186570,"journal":{"name":"Asian Symposium on Programming Languages and Systems","volume":"1 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":"130426209","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
Proving that Programs Are Differentially Private 证明程序是不同私有的
Asian Symposium on Programming Languages and Systems Pub Date : 2019-12-01 DOI: 10.1007/978-3-030-34175-6_1
Annabelle McIver, Carroll Morgan
{"title":"Proving that Programs Are Differentially Private","authors":"Annabelle McIver, Carroll Morgan","doi":"10.1007/978-3-030-34175-6_1","DOIUrl":"https://doi.org/10.1007/978-3-030-34175-6_1","url":null,"abstract":"","PeriodicalId":186570,"journal":{"name":"Asian Symposium on Programming Languages and Systems","volume":"14 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":"115948144","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
Pumping, with or Without Choice 泵，有或没有选择
Asian Symposium on Programming Languages and Systems Pub Date : 2019-12-01 DOI: 10.1007/978-3-030-34175-6_22
Aquinas Hobor, E. Li, F. Stephan
{"title":"Pumping, with or Without Choice","authors":"Aquinas Hobor, E. Li, F. Stephan","doi":"10.1007/978-3-030-34175-6_22","DOIUrl":"https://doi.org/10.1007/978-3-030-34175-6_22","url":null,"abstract":"","PeriodicalId":186570,"journal":{"name":"Asian Symposium on Programming Languages and Systems","volume":"26 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":"134328100","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
Completeness of Cyclic Proofs for Symbolic Heaps with Inductive Definitions 具有归纳定义的符号堆循环证明的完备性
Asian Symposium on Programming Languages and Systems Pub Date : 2019-12-01 DOI: 10.1007/978-3-030-34175-6_19
M. Tatsuta, K. Nakazawa, D. Kimura
{"title":"Completeness of Cyclic Proofs for Symbolic Heaps with Inductive Definitions","authors":"M. Tatsuta, K. Nakazawa, D. Kimura","doi":"10.1007/978-3-030-34175-6_19","DOIUrl":"https://doi.org/10.1007/978-3-030-34175-6_19","url":null,"abstract":"","PeriodicalId":186570,"journal":{"name":"Asian Symposium on Programming Languages and Systems","volume":"267 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":"123703091","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}
引用次数: 14
Dissecting Widening: Separating Termination from Information 解剖拓宽:从信息中分离终端
Asian Symposium on Programming Languages and Systems Pub Date : 2019-12-01 DOI: 10.1007/978-3-030-34175-6_6
G. Gange, J. Navas, P. Schachte, H. Søndergaard, Peter James Stuckey
{"title":"Dissecting Widening: Separating Termination from Information","authors":"G. Gange, J. Navas, P. Schachte, H. Søndergaard, Peter James Stuckey","doi":"10.1007/978-3-030-34175-6_6","DOIUrl":"https://doi.org/10.1007/978-3-030-34175-6_6","url":null,"abstract":"","PeriodicalId":186570,"journal":{"name":"Asian Symposium on Programming Languages and Systems","volume":"72 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":"124895309","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学术官方微信
小红书