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

Asian Symposium on Programming Languages and Systems最新文献

筛选
英文 中文
A Sound and Complete Bisimulation for Contextual Equivalence in lambda -Calculus with Call/cc 基于Call/cc的lambda -微积分中上下文等价的完善双模拟
Asian Symposium on Programming Languages and Systems Pub Date : 2016-11-21 DOI: 10.1007/978-3-319-47958-3_10
Taichi Yachi, Eijiro Sumii
{"title":"A Sound and Complete Bisimulation for Contextual Equivalence in lambda -Calculus with Call/cc","authors":"Taichi Yachi, Eijiro Sumii","doi":"10.1007/978-3-319-47958-3_10","DOIUrl":"https://doi.org/10.1007/978-3-319-47958-3_10","url":null,"abstract":"","PeriodicalId":186570,"journal":{"name":"Asian Symposium on Programming Languages and Systems","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-11-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124944759","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
Unified Syntax with Iso-types 使用iso类型的统一语法
Asian Symposium on Programming Languages and Systems Pub Date : 2016-11-21 DOI: 10.1007/978-3-319-47958-3_14
Yanpeng Yang, Xuan Bi, B. C. D. S. Oliveira
{"title":"Unified Syntax with Iso-types","authors":"Yanpeng Yang, Xuan Bi, B. C. D. S. Oliveira","doi":"10.1007/978-3-319-47958-3_14","DOIUrl":"https://doi.org/10.1007/978-3-319-47958-3_14","url":null,"abstract":"","PeriodicalId":186570,"journal":{"name":"Asian Symposium on Programming Languages and Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-11-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125504425","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
AkkaProf: A Profiler for Akka Actors in Parallel and Distributed Applications akkapprof:并行和分布式应用中Akka参与者的分析器
Asian Symposium on Programming Languages and Systems Pub Date : 2016-11-21 DOI: 10.1007/978-3-319-47958-3_8
Andrea Rosà, L. Chen, Walter Binder
{"title":"AkkaProf: A Profiler for Akka Actors in Parallel and Distributed Applications","authors":"Andrea Rosà, L. Chen, Walter Binder","doi":"10.1007/978-3-319-47958-3_8","DOIUrl":"https://doi.org/10.1007/978-3-319-47958-3_8","url":null,"abstract":"","PeriodicalId":186570,"journal":{"name":"Asian Symposium on Programming Languages and Systems","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-11-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132842171","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
Higher-Order Model Checking in Direct Style 直接风格的高阶模型检验
Asian Symposium on Programming Languages and Systems Pub Date : 2016-11-21 DOI: 10.1007/978-3-319-47958-3_16
Taku Terao, Takeshi Tsukada, N. Kobayashi
{"title":"Higher-Order Model Checking in Direct Style","authors":"Taku Terao, Takeshi Tsukada, N. Kobayashi","doi":"10.1007/978-3-319-47958-3_16","DOIUrl":"https://doi.org/10.1007/978-3-319-47958-3_16","url":null,"abstract":"","PeriodicalId":186570,"journal":{"name":"Asian Symposium on Programming Languages and Systems","volume":"04 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-11-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127457487","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
DOM: Specification and Client Reasoning DOM:规范和客户端推理
Asian Symposium on Programming Languages and Systems Pub Date : 2016-11-21 DOI: 10.1007/978-3-319-47958-3_21
Azalea Raad, J. Santos, Philippa Gardner
{"title":"DOM: Specification and Client Reasoning","authors":"Azalea Raad, J. Santos, Philippa Gardner","doi":"10.1007/978-3-319-47958-3_21","DOIUrl":"https://doi.org/10.1007/978-3-319-47958-3_21","url":null,"abstract":"","PeriodicalId":186570,"journal":{"name":"Asian Symposium on Programming Languages and Systems","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-11-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129666556","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
Observation-Based Concurrent Program Logic for Relaxed Memory Consistency Models 基于观察的并行程序逻辑的松弛内存一致性模型
Asian Symposium on Programming Languages and Systems Pub Date : 2016-11-21 DOI: 10.1007/978-3-319-47958-3_4
Tatsuya Abe, T. Maeda
{"title":"Observation-Based Concurrent Program Logic for Relaxed Memory Consistency Models","authors":"Tatsuya Abe, T. Maeda","doi":"10.1007/978-3-319-47958-3_4","DOIUrl":"https://doi.org/10.1007/978-3-319-47958-3_4","url":null,"abstract":"","PeriodicalId":186570,"journal":{"name":"Asian Symposium on Programming Languages and Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-11-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130087350","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
Probabilistic Programming Language and its Incremental Evaluation 概率编程语言及其增量计算
Asian Symposium on Programming Languages and Systems Pub Date : 2016-11-21 DOI: 10.1007/978-3-319-47958-3_19
O. Kiselyov
{"title":"Probabilistic Programming Language and its Incremental Evaluation","authors":"O. Kiselyov","doi":"10.1007/978-3-319-47958-3_19","DOIUrl":"https://doi.org/10.1007/978-3-319-47958-3_19","url":null,"abstract":"","PeriodicalId":186570,"journal":{"name":"Asian Symposium on Programming Languages and Systems","volume":"113 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-11-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124696037","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}
引用次数: 12
Learning a Strategy for Choosing Widening Thresholds from a Large Codebase 学习从大型代码库中选择扩大阈值的策略
Asian Symposium on Programming Languages and Systems Pub Date : 2016-11-21 DOI: 10.1007/978-3-319-47958-3_2
Sooyoung Cha, S. Jeong, Hakjoo Oh
{"title":"Learning a Strategy for Choosing Widening Thresholds from a Large Codebase","authors":"Sooyoung Cha, S. Jeong, Hakjoo Oh","doi":"10.1007/978-3-319-47958-3_2","DOIUrl":"https://doi.org/10.1007/978-3-319-47958-3_2","url":null,"abstract":"","PeriodicalId":186570,"journal":{"name":"Asian Symposium on Programming Languages and Systems","volume":"106 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-11-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123302439","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}
引用次数: 15
A Realizability Interpretation for Intersection and Union Types 交集和联合类型的可实现性解释
Asian Symposium on Programming Languages and Systems Pub Date : 2016-11-21 DOI: 10.1007/978-3-319-47958-3_11
Daniel J. Dougherty, Ugo de'Liguoro, L. Liquori, C. Stolze
{"title":"A Realizability Interpretation for Intersection and Union Types","authors":"Daniel J. Dougherty, Ugo de'Liguoro, L. Liquori, C. Stolze","doi":"10.1007/978-3-319-47958-3_11","DOIUrl":"https://doi.org/10.1007/978-3-319-47958-3_11","url":null,"abstract":"","PeriodicalId":186570,"journal":{"name":"Asian Symposium on Programming Languages and Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-11-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130486198","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
SPEC: An Equivalence Checker for Security Protocols 规范:安全协议的等价检查器
Asian Symposium on Programming Languages and Systems Pub Date : 2016-11-21 DOI: 10.1007/978-3-319-47958-3_5
Alwen Tiu, N. Nguyen, Ross Horne
{"title":"SPEC: An Equivalence Checker for Security Protocols","authors":"Alwen Tiu, N. Nguyen, Ross Horne","doi":"10.1007/978-3-319-47958-3_5","DOIUrl":"https://doi.org/10.1007/978-3-319-47958-3_5","url":null,"abstract":"","PeriodicalId":186570,"journal":{"name":"Asian Symposium on Programming Languages and Systems","volume":"69 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-11-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129582237","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
首页 上一页 下一页 尾页
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学术官方微信
小红书