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

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages最新文献

筛选
英文 中文
Session details: Session 5A: Regular Languages and Automata 会议详情:5A:正则语言和自动机
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages Pub Date : 2015-01-14 DOI: 10.1145/3255658
S. Akshay
{"title":"Session details: Session 5A: Regular Languages and Automata","authors":"S. Akshay","doi":"10.1145/3255658","DOIUrl":"https://doi.org/10.1145/3255658","url":null,"abstract":"","PeriodicalId":20594,"journal":{"name":"Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","volume":"7 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2015-01-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"91212368","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
Session details: Session 9A: Concurrency III 会话详细信息:会话9A:并发III
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages Pub Date : 2015-01-14 DOI: 10.1145/3255668
R. Majumdar
{"title":"Session details: Session 9A: Concurrency III","authors":"R. Majumdar","doi":"10.1145/3255668","DOIUrl":"https://doi.org/10.1145/3255668","url":null,"abstract":"","PeriodicalId":20594,"journal":{"name":"Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","volume":"47 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2015-01-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74348667","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
Session details: Session 1B: Security 会话详细信息:会话1B:安全
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages Pub Date : 2015-01-14 DOI: 10.1145/3255651
K. Bhargavan
{"title":"Session details: Session 1B: Security","authors":"K. Bhargavan","doi":"10.1145/3255651","DOIUrl":"https://doi.org/10.1145/3255651","url":null,"abstract":"","PeriodicalId":20594,"journal":{"name":"Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","volume":"76 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2015-01-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80715951","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
Session details: Session 6A: Concurrency II 会话详细信息:会话6A:并发II
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages Pub Date : 2015-01-14 DOI: 10.1145/3255660
Nishant Sinha
{"title":"Session details: Session 6A: Concurrency II","authors":"Nishant Sinha","doi":"10.1145/3255660","DOIUrl":"https://doi.org/10.1145/3255660","url":null,"abstract":"","PeriodicalId":20594,"journal":{"name":"Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","volume":"39 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2015-01-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73189109","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
Session details: Session 3B: Concurrency I 会话详细信息:会话3B:并发I
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages Pub Date : 2015-01-14 DOI: 10.1145/3255655
G. Ramalingam
{"title":"Session details: Session 3B: Concurrency I","authors":"G. Ramalingam","doi":"10.1145/3255655","DOIUrl":"https://doi.org/10.1145/3255655","url":null,"abstract":"","PeriodicalId":20594,"journal":{"name":"Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","volume":"83 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2015-01-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"89564748","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
Session details: Session 4B: Types II 会话详细信息:会话4B:类型II
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages Pub Date : 2015-01-14 DOI: 10.1145/3255657
Deepak Garg
{"title":"Session details: Session 4B: Types II","authors":"Deepak Garg","doi":"10.1145/3255657","DOIUrl":"https://doi.org/10.1145/3255657","url":null,"abstract":"","PeriodicalId":20594,"journal":{"name":"Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","volume":"69 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2015-01-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"86106031","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
Session details: Keynote Address 会议详情:主题演讲
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages Pub Date : 2015-01-14 DOI: 10.1145/3255663
P. Pandya
{"title":"Session details: Keynote Address","authors":"P. Pandya","doi":"10.1145/3255663","DOIUrl":"https://doi.org/10.1145/3255663","url":null,"abstract":"","PeriodicalId":20594,"journal":{"name":"Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","volume":"70 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2015-01-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85844904","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
Session details: Session 7A: Probabilistic Programs 会议详情:7A:概率程序
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages Pub Date : 2015-01-14 DOI: 10.1145/3255664
Supratik Chakraborty
{"title":"Session details: Session 7A: Probabilistic Programs","authors":"Supratik Chakraborty","doi":"10.1145/3255664","DOIUrl":"https://doi.org/10.1145/3255664","url":null,"abstract":"","PeriodicalId":20594,"journal":{"name":"Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","volume":" 73","pages":""},"PeriodicalIF":0.0,"publicationDate":"2015-01-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"91411370","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
Session details: Session 3A: Dynamic Verification 会话详细信息:会话3A:动态验证
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages Pub Date : 2015-01-14 DOI: 10.1145/3255654
J. Vitek
{"title":"Session details: Session 3A: Dynamic Verification","authors":"J. Vitek","doi":"10.1145/3255654","DOIUrl":"https://doi.org/10.1145/3255654","url":null,"abstract":"","PeriodicalId":20594,"journal":{"name":"Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","volume":"1 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2015-01-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"88978384","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
Session details: Session 2A: Program Analysis I 会话细节:会话2A:程序分析1
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages Pub Date : 2015-01-14 DOI: 10.1145/3255652
Raghavan Komondoor
{"title":"Session details: Session 2A: Program Analysis I","authors":"Raghavan Komondoor","doi":"10.1145/3255652","DOIUrl":"https://doi.org/10.1145/3255652","url":null,"abstract":"","PeriodicalId":20594,"journal":{"name":"Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","volume":"25 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2015-01-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73991866","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
首页 上一页 下一页 尾页
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学术文献互助群
群 号：481959085
Book学术官方微信