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

Asian Symposium on Programming Languages and Systems最新文献

筛选
英文 中文
Compact Difference Bound Matrices 紧差分界矩阵
Asian Symposium on Programming Languages and Systems Pub Date : 2017-11-27 DOI: 10.1007/978-3-319-71237-6_23
A. Chawdhary, A. King
{"title":"Compact Difference Bound Matrices","authors":"A. Chawdhary, A. King","doi":"10.1007/978-3-319-71237-6_23","DOIUrl":"https://doi.org/10.1007/978-3-319-71237-6_23","url":null,"abstract":"","PeriodicalId":186570,"journal":{"name":"Asian Symposium on Programming Languages and Systems","volume":"35 2","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-11-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120887703","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
A Nonstandard Functional Programming Language 非标准函数式程序设计语言
Asian Symposium on Programming Languages and Systems Pub Date : 2017-11-27 DOI: 10.1007/978-3-319-71237-6_25
Hirofumi Nakamura, Kensuke Kojima, Kohei Suenaga, Atsushi Igarashi
{"title":"A Nonstandard Functional Programming Language","authors":"Hirofumi Nakamura, Kensuke Kojima, Kohei Suenaga, Atsushi Igarashi","doi":"10.1007/978-3-319-71237-6_25","DOIUrl":"https://doi.org/10.1007/978-3-319-71237-6_25","url":null,"abstract":"","PeriodicalId":186570,"journal":{"name":"Asian Symposium on Programming Languages and Systems","volume":"79 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":"126730415","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
Automatically Generating Secure Wrappers for SGX Enclaves from Separation Logic Specifications 根据分离逻辑规范自动生成SGX飞地的安全包装器
Asian Symposium on Programming Languages and Systems Pub Date : 2017-11-27 DOI: 10.1007/978-3-319-71237-6_6
N. V. Ginkel, Raoul Strackx, F. Piessens
{"title":"Automatically Generating Secure Wrappers for SGX Enclaves from Separation Logic Specifications","authors":"N. V. Ginkel, Raoul Strackx, F. Piessens","doi":"10.1007/978-3-319-71237-6_6","DOIUrl":"https://doi.org/10.1007/978-3-319-71237-6_6","url":null,"abstract":"","PeriodicalId":186570,"journal":{"name":"Asian Symposium on Programming Languages and Systems","volume":"191 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":"116138103","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
Efficient Functional Reactive Programming Through Incremental Behaviors 通过增量行为实现高效的函数式响应式编程
Asian Symposium on Programming Languages and Systems Pub Date : 2017-11-27 DOI: 10.1007/978-3-319-71237-6_16
Bob Reynders, Dominique Devriese
{"title":"Efficient Functional Reactive Programming Through Incremental Behaviors","authors":"Bob Reynders, Dominique Devriese","doi":"10.1007/978-3-319-71237-6_16","DOIUrl":"https://doi.org/10.1007/978-3-319-71237-6_16","url":null,"abstract":"","PeriodicalId":186570,"journal":{"name":"Asian Symposium on Programming Languages and Systems","volume":"22 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":"115100598","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
Partiality and Container Monads 偏爱和容器单子
Asian Symposium on Programming Languages and Systems Pub Date : 2017-11-27 DOI: 10.1007/978-3-319-71237-6_20
Tarmo Uustalu, Niccolò Veltri
{"title":"Partiality and Container Monads","authors":"Tarmo Uustalu, Niccolò Veltri","doi":"10.1007/978-3-319-71237-6_20","DOIUrl":"https://doi.org/10.1007/978-3-319-71237-6_20","url":null,"abstract":"","PeriodicalId":186570,"journal":{"name":"Asian Symposium on Programming Languages and Systems","volume":"63 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":"121371393","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
Verified Root-Balanced Trees 经过验证的根平衡树
Asian Symposium on Programming Languages and Systems Pub Date : 2017-11-27 DOI: 10.1007/978-3-319-71237-6_13
T. Nipkow
{"title":"Verified Root-Balanced Trees","authors":"T. Nipkow","doi":"10.1007/978-3-319-71237-6_13","DOIUrl":"https://doi.org/10.1007/978-3-319-71237-6_13","url":null,"abstract":"","PeriodicalId":186570,"journal":{"name":"Asian Symposium on Programming Languages and Systems","volume":"101 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":"125094001","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}
引用次数: 11
Programming and Proving with Classical Types 经典类型的编程和证明
Asian Symposium on Programming Languages and Systems Pub Date : 2017-11-27 DOI: 10.1007/978-3-319-71237-6_11
C. Matache, Victor B. F. Gomes, D. Mulligan
{"title":"Programming and Proving with Classical Types","authors":"C. Matache, Victor B. F. Gomes, D. Mulligan","doi":"10.1007/978-3-319-71237-6_11","DOIUrl":"https://doi.org/10.1007/978-3-319-71237-6_11","url":null,"abstract":"","PeriodicalId":186570,"journal":{"name":"Asian Symposium on Programming Languages and Systems","volume":"17 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":"128409948","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
Programming by Examples: PL Meets ML 范例编程:PL与ML的结合
Asian Symposium on Programming Languages and Systems Pub Date : 2017-11-27 DOI: 10.1007/978-3-319-71237-6_1
Sumit Gulwani, Prateek Jain
{"title":"Programming by Examples: PL Meets ML","authors":"Sumit Gulwani, Prateek Jain","doi":"10.1007/978-3-319-71237-6_1","DOIUrl":"https://doi.org/10.1007/978-3-319-71237-6_1","url":null,"abstract":"","PeriodicalId":186570,"journal":{"name":"Asian Symposium on Programming Languages and Systems","volume":"50 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":"129126334","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}
引用次数: 40
Black-Box Equivalence Checking Across Compiler Optimizations 跨编译器优化的黑盒等效检查
Asian Symposium on Programming Languages and Systems Pub Date : 2017-11-27 DOI: 10.1007/978-3-319-71237-6_7
Manjeet Dahiya, Sorav Bansal
{"title":"Black-Box Equivalence Checking Across Compiler Optimizations","authors":"Manjeet Dahiya, Sorav Bansal","doi":"10.1007/978-3-319-71237-6_7","DOIUrl":"https://doi.org/10.1007/978-3-319-71237-6_7","url":null,"abstract":"","PeriodicalId":186570,"journal":{"name":"Asian Symposium on Programming Languages and Systems","volume":"19 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":"127553927","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}
引用次数: 28
Implementing Algebraic Effects in C - "Monads for Free in C" 在C中实现代数效果-“在C中免费的Monads”
Asian Symposium on Programming Languages and Systems Pub Date : 2017-11-27 DOI: 10.1007/978-3-319-71237-6_17
Daan Leijen
{"title":"Implementing Algebraic Effects in C - \"Monads for Free in C\"","authors":"Daan Leijen","doi":"10.1007/978-3-319-71237-6_17","DOIUrl":"https://doi.org/10.1007/978-3-319-71237-6_17","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":"122328190","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}
引用次数: 19
首页 上一页 下一页 尾页
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学术官方微信
小红书