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

Asian Symposium on Programming Languages and Systems最新文献

筛选
英文 中文
Automated Synthesis of Functional Programs with Auxiliary Functions 带有辅助函数的函数程序的自动合成
Asian Symposium on Programming Languages and Systems Pub Date : 2018-12-02 DOI: 10.1007/978-3-030-02768-1_13
Shingo Eguchi, N. Kobayashi, Takeshi Tsukada
{"title":"Automated Synthesis of Functional Programs with Auxiliary Functions","authors":"Shingo Eguchi, N. Kobayashi, Takeshi Tsukada","doi":"10.1007/978-3-030-02768-1_13","DOIUrl":"https://doi.org/10.1007/978-3-030-02768-1_13","url":null,"abstract":"","PeriodicalId":186570,"journal":{"name":"Asian Symposium on Programming Languages and Systems","volume":"58 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-12-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131010507","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 Soundness of Call Graph Construction in the Presence of Dynamic Language Features - A Benchmark and Tool Evaluation 基于动态语言特征的调用图构建的稳健性——一个基准和工具评价
Asian Symposium on Programming Languages and Systems Pub Date : 2018-12-02 DOI: 10.1007/978-3-030-02768-1_4
Li Sui, Jens Dietrich, Michael Emery, Shawn Rasheed, Amjed Tahir
{"title":"On the Soundness of Call Graph Construction in the Presence of Dynamic Language Features - A Benchmark and Tool Evaluation","authors":"Li Sui, Jens Dietrich, Michael Emery, Shawn Rasheed, Amjed Tahir","doi":"10.1007/978-3-030-02768-1_4","DOIUrl":"https://doi.org/10.1007/978-3-030-02768-1_4","url":null,"abstract":"","PeriodicalId":186570,"journal":{"name":"Asian Symposium on Programming Languages and Systems","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-12-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131996914","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}
引用次数: 20
The Practice of a Compositional Functional Programming Language 组合函数式程序设计语言的实践
Asian Symposium on Programming Languages and Systems Pub Date : 2018-12-02 DOI: 10.1007/978-3-030-02768-1_10
T. Jones, Michael Homer
{"title":"The Practice of a Compositional Functional Programming Language","authors":"T. Jones, Michael Homer","doi":"10.1007/978-3-030-02768-1_10","DOIUrl":"https://doi.org/10.1007/978-3-030-02768-1_10","url":null,"abstract":"","PeriodicalId":186570,"journal":{"name":"Asian Symposium on Programming Languages and Systems","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-12-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128872133","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
Shallow Effect Handlers 浅层效果处理程序
Asian Symposium on Programming Languages and Systems Pub Date : 2018-12-02 DOI: 10.1007/978-3-030-02768-1_22
Daniel Hillerström, S. Lindley
{"title":"Shallow Effect Handlers","authors":"Daniel Hillerström, S. Lindley","doi":"10.1007/978-3-030-02768-1_22","DOIUrl":"https://doi.org/10.1007/978-3-030-02768-1_22","url":null,"abstract":"","PeriodicalId":186570,"journal":{"name":"Asian Symposium on Programming Languages and Systems","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-12-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134116796","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}
引用次数: 37
Factoring Derivation Spaces via Intersection Types 通过交集类型分解派生空间
Asian Symposium on Programming Languages and Systems Pub Date : 2018-12-02 DOI: 10.1007/978-3-030-02768-1_2
Pablo Barenbaum, Gonzalo Ciruelos
{"title":"Factoring Derivation Spaces via Intersection Types","authors":"Pablo Barenbaum, Gonzalo Ciruelos","doi":"10.1007/978-3-030-02768-1_2","DOIUrl":"https://doi.org/10.1007/978-3-030-02768-1_2","url":null,"abstract":"","PeriodicalId":186570,"journal":{"name":"Asian Symposium on Programming Languages and Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-12-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128441547","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
Scallina: Translating Verified Programs from Coq to Scala scalina:将经过验证的程序从Coq翻译到Scala
Asian Symposium on Programming Languages and Systems Pub Date : 2018-12-02 DOI: 10.1007/978-3-030-02768-1_7
Youssef El Bakouny, Dani Mezher
{"title":"Scallina: Translating Verified Programs from Coq to Scala","authors":"Youssef El Bakouny, Dani Mezher","doi":"10.1007/978-3-030-02768-1_7","DOIUrl":"https://doi.org/10.1007/978-3-030-02768-1_7","url":null,"abstract":"","PeriodicalId":186570,"journal":{"name":"Asian Symposium on Programming Languages and Systems","volume":"52 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-12-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116150234","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
Types of Fireballs 火球的种类
Asian Symposium on Programming Languages and Systems Pub Date : 2018-12-02 DOI: 10.1007/978-3-030-02768-1_3
Beniamino Accattoli, Giulio Guerrieri
{"title":"Types of Fireballs","authors":"Beniamino Accattoli, Giulio Guerrieri","doi":"10.1007/978-3-030-02768-1_3","DOIUrl":"https://doi.org/10.1007/978-3-030-02768-1_3","url":null,"abstract":"","PeriodicalId":186570,"journal":{"name":"Asian Symposium on Programming Languages and Systems","volume":"175 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-12-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126027010","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}
引用次数: 22
Certifying CPS Transformation of Let-Polymorphic Calculus Using PHOAS 用PHOAS证明let -多态微积分的CPS变换
Asian Symposium on Programming Languages and Systems Pub Date : 2018-12-02 DOI: 10.1007/978-3-030-02768-1_20
Urara Yamada, K. Asai
{"title":"Certifying CPS Transformation of Let-Polymorphic Calculus Using PHOAS","authors":"Urara Yamada, K. Asai","doi":"10.1007/978-3-030-02768-1_20","DOIUrl":"https://doi.org/10.1007/978-3-030-02768-1_20","url":null,"abstract":"","PeriodicalId":186570,"journal":{"name":"Asian Symposium on Programming Languages and Systems","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-12-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133659159","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
Non-linear Pattern Matching with Backtracking for Non-free Data Types 非自由数据类型的非线性模式匹配与回溯
Asian Symposium on Programming Languages and Systems Pub Date : 2018-08-31 DOI: 10.1007/978-3-030-02768-1_1
S. Egi, Yuichi Nishiwaki
{"title":"Non-linear Pattern Matching with Backtracking for Non-free Data Types","authors":"S. Egi, Yuichi Nishiwaki","doi":"10.1007/978-3-030-02768-1_1","DOIUrl":"https://doi.org/10.1007/978-3-030-02768-1_1","url":null,"abstract":"","PeriodicalId":186570,"journal":{"name":"Asian Symposium on Programming Languages and Systems","volume":"199 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-08-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132709114","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
New Approaches for Almost-Sure Termination of Probabilistic Programs 概率规划几乎确定终止的新方法
Asian Symposium on Programming Languages and Systems Pub Date : 2018-06-14 DOI: 10.1007/978-3-030-02768-1_11
Mingzhang Huang, Hongfei Fu, K. Chatterjee
{"title":"New Approaches for Almost-Sure Termination of Probabilistic Programs","authors":"Mingzhang Huang, Hongfei Fu, K. Chatterjee","doi":"10.1007/978-3-030-02768-1_11","DOIUrl":"https://doi.org/10.1007/978-3-030-02768-1_11","url":null,"abstract":"","PeriodicalId":186570,"journal":{"name":"Asian Symposium on Programming Languages and Systems","volume":"97 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-06-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127899885","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}
引用次数: 24
首页 上一页 下一页 尾页
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学术官方微信
小红书