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

Asian Symposium on Programming Languages and Systems最新文献

筛选
英文 中文
A Type-Based HFL Model Checking Algorithm 一种基于类型的HFL模型检测算法
Asian Symposium on Programming Languages and Systems Pub Date : 2019-08-27 DOI: 10.1007/978-3-030-34175-6_8
Youkichi Hosoi, N. Kobayashi, Takeshi Tsukada
{"title":"A Type-Based HFL Model Checking Algorithm","authors":"Youkichi Hosoi, N. Kobayashi, Takeshi Tsukada","doi":"10.1007/978-3-030-34175-6_8","DOIUrl":"https://doi.org/10.1007/978-3-030-34175-6_8","url":null,"abstract":"","PeriodicalId":186570,"journal":{"name":"Asian Symposium on Programming Languages and Systems","volume":"52 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-08-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132005869","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
Manifest Contracts with Intersection Types 具有交叉类型的清单契约
Asian Symposium on Programming Languages and Systems Pub Date : 2019-08-08 DOI: 10.1007/978-3-030-34175-6_3
Y. Nishida, Atsushi Igarashi
{"title":"Manifest Contracts with Intersection Types","authors":"Y. Nishida, Atsushi Igarashi","doi":"10.1007/978-3-030-34175-6_3","DOIUrl":"https://doi.org/10.1007/978-3-030-34175-6_3","url":null,"abstract":"","PeriodicalId":186570,"journal":{"name":"Asian Symposium on Programming Languages and Systems","volume":"154 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-08-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115763845","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
Simulations in Rank-Based Büchi Automata Complementation 基于秩的<s:1> chi自动机互补仿真
Asian Symposium on Programming Languages and Systems Pub Date : 2019-05-17 DOI: 10.1007/978-3-030-34175-6_23
Yu-Fang Chen, Vojtěch Havlena, Ondřej Lengál
{"title":"Simulations in Rank-Based Büchi Automata Complementation","authors":"Yu-Fang Chen, Vojtěch Havlena, Ondřej Lengál","doi":"10.1007/978-3-030-34175-6_23","DOIUrl":"https://doi.org/10.1007/978-3-030-34175-6_23","url":null,"abstract":"","PeriodicalId":186570,"journal":{"name":"Asian Symposium on Programming Languages and Systems","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-05-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125205890","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
Traf: A Graphical Proof Tree Viewer Cooperating with Coq Through Proof General Traf:一个图形证明树查看器，通过证明通用与Coq合作
Asian Symposium on Programming Languages and Systems Pub Date : 2018-12-02 DOI: 10.1007/978-3-030-02768-1_9
Hideyuki Kawabata, Yuta Tanaka, Mai Kimura, T. Hironaka
{"title":"Traf: A Graphical Proof Tree Viewer Cooperating with Coq Through Proof General","authors":"Hideyuki Kawabata, Yuta Tanaka, Mai Kimura, T. Hironaka","doi":"10.1007/978-3-030-02768-1_9","DOIUrl":"https://doi.org/10.1007/978-3-030-02768-1_9","url":null,"abstract":"","PeriodicalId":186570,"journal":{"name":"Asian Symposium on Programming Languages and Systems","volume":"17 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":"125282422","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
HoIce: An ICE-Based Non-linear Horn Clause Solver 基于ice的非线性角子句求解器
Asian Symposium on Programming Languages and Systems Pub Date : 2018-12-02 DOI: 10.1007/978-3-030-02768-1_8
A. Champion, N. Kobayashi, Ryosuke Sato
{"title":"HoIce: An ICE-Based Non-linear Horn Clause Solver","authors":"A. Champion, N. Kobayashi, Ryosuke Sato","doi":"10.1007/978-3-030-02768-1_8","DOIUrl":"https://doi.org/10.1007/978-3-030-02768-1_8","url":null,"abstract":"","PeriodicalId":186570,"journal":{"name":"Asian Symposium on Programming Languages and Systems","volume":"51 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":"129007774","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
A Decision Procedure for String Logic with Quadratic Equations, Regular Expressions and Length Constraints 具有二次方程、正则表达式和长度约束的字符串逻辑决策程序
Asian Symposium on Programming Languages and Systems Pub Date : 2018-12-02 DOI: 10.1007/978-3-030-02768-1_19
Quang Loc Le, Mengda He
{"title":"A Decision Procedure for String Logic with Quadratic Equations, Regular Expressions and Length Constraints","authors":"Quang Loc Le, Mengda He","doi":"10.1007/978-3-030-02768-1_19","DOIUrl":"https://doi.org/10.1007/978-3-030-02768-1_19","url":null,"abstract":"","PeriodicalId":186570,"journal":{"name":"Asian Symposium on Programming Languages and Systems","volume":"391 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":"133969610","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}
引用次数: 17
Relational Thread-Modular Abstract Interpretation Under Relaxed Memory Models 放松记忆模型下的关系线程模块化抽象解释
Asian Symposium on Programming Languages and Systems Pub Date : 2018-12-02 DOI: 10.1007/978-3-030-02768-1_6
Thibault Suzanne, A. Miné
{"title":"Relational Thread-Modular Abstract Interpretation Under Relaxed Memory Models","authors":"Thibault Suzanne, A. Miné","doi":"10.1007/978-3-030-02768-1_6","DOIUrl":"https://doi.org/10.1007/978-3-030-02768-1_6","url":null,"abstract":"","PeriodicalId":186570,"journal":{"name":"Asian Symposium on Programming Languages and Systems","volume":"135 3 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":"131109779","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
Particle-Style Geometry of Interaction as a Module System 作为模块系统的相互作用的粒子式几何
Asian Symposium on Programming Languages and Systems Pub Date : 2018-12-02 DOI: 10.1007/978-3-030-02768-1_12
Ulrich Schöpp
{"title":"Particle-Style Geometry of Interaction as a Module System","authors":"Ulrich Schöpp","doi":"10.1007/978-3-030-02768-1_12","DOIUrl":"https://doi.org/10.1007/978-3-030-02768-1_12","url":null,"abstract":"","PeriodicalId":186570,"journal":{"name":"Asian Symposium on Programming Languages and Systems","volume":"15 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":"114774936","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
Automated Modular Verification for Relaxed Communication Protocols 放松通信协议的自动化模块化验证
Asian Symposium on Programming Languages and Systems Pub Date : 2018-12-02 DOI: 10.1007/978-3-030-02768-1_16
Andreea Costea, W. Chin, S. Qin, Florin Craciun
{"title":"Automated Modular Verification for Relaxed Communication Protocols","authors":"Andreea Costea, W. Chin, S. Qin, Florin Craciun","doi":"10.1007/978-3-030-02768-1_16","DOIUrl":"https://doi.org/10.1007/978-3-030-02768-1_16","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":"126992952","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
Automated Proof Synthesis for the Minimal Propositional Logic with Deep Neural Networks 基于深度神经网络的最小命题逻辑自动证明综合
Asian Symposium on Programming Languages and Systems Pub Date : 2018-12-02 DOI: 10.1007/978-3-030-02768-1_17
Taro Sekiyama, Kohei Suenaga
{"title":"Automated Proof Synthesis for the Minimal Propositional Logic with Deep Neural Networks","authors":"Taro Sekiyama, Kohei Suenaga","doi":"10.1007/978-3-030-02768-1_17","DOIUrl":"https://doi.org/10.1007/978-3-030-02768-1_17","url":null,"abstract":"","PeriodicalId":186570,"journal":{"name":"Asian Symposium on Programming Languages and Systems","volume":"119 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":"130506399","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
首页 上一页 下一页 尾页
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学术官方微信
小红书