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

Program Analysis and Compilation最新文献

筛选
英文 中文
ViDoC - Visual Design of Optimizing Compilers 优化编译器的可视化设计
Program Analysis and Compilation Pub Date : 1900-01-01 DOI: 10.1007/978-3-540-71322-7_7
T. Margaria, Oliver Rüthing, B. Steffen
{"title":"ViDoC - Visual Design of Optimizing Compilers","authors":"T. Margaria, Oliver Rüthing, B. Steffen","doi":"10.1007/978-3-540-71322-7_7","DOIUrl":"https://doi.org/10.1007/978-3-540-71322-7_7","url":null,"abstract":"","PeriodicalId":217710,"journal":{"name":"Program Analysis and Compilation","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127884458","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
Lazy Execution of Boolean Queries 布尔查询的延迟执行
Program Analysis and Compilation Pub Date : 1900-01-01 DOI: 10.1007/978-3-540-71322-7_4
D. Maurer
{"title":"Lazy Execution of Boolean Queries","authors":"D. Maurer","doi":"10.1007/978-3-540-71322-7_4","DOIUrl":"https://doi.org/10.1007/978-3-540-71322-7_4","url":null,"abstract":"","PeriodicalId":217710,"journal":{"name":"Program Analysis and Compilation","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131339417","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
Types from Control Flow Analysis 来自控制流分析的类型
Program Analysis and Compilation Pub Date : 1900-01-01 DOI: 10.1007/978-3-540-71322-7_14
F. Nielson, H. R. Nielson
{"title":"Types from Control Flow Analysis","authors":"F. Nielson, H. R. Nielson","doi":"10.1007/978-3-540-71322-7_14","DOIUrl":"https://doi.org/10.1007/978-3-540-71322-7_14","url":null,"abstract":"","PeriodicalId":217710,"journal":{"name":"Program Analysis and Compilation","volume":"77 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131824178","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
Refinement-Based Verification for Possibly-Cyclic Lists 基于改进的可能循环表验证
Program Analysis and Compilation Pub Date : 1900-01-01 DOI: 10.1007/978-3-540-71322-7_12
Alexey Loginov, T. Reps, Shmuel Sagiv
{"title":"Refinement-Based Verification for Possibly-Cyclic Lists","authors":"Alexey Loginov, T. Reps, Shmuel Sagiv","doi":"10.1007/978-3-540-71322-7_12","DOIUrl":"https://doi.org/10.1007/978-3-540-71322-7_12","url":null,"abstract":"","PeriodicalId":217710,"journal":{"name":"Program Analysis and Compilation","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133725620","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
Cryptographic Protocol Verification Using Tractable Classes of Horn Clauses 使用可处理的Horn子句类的加密协议验证
Program Analysis and Compilation Pub Date : 1900-01-01 DOI: 10.1007/978-3-540-71322-7_5
H. Seidl, K. Verma
{"title":"Cryptographic Protocol Verification Using Tractable Classes of Horn Clauses","authors":"H. Seidl, K. Verma","doi":"10.1007/978-3-540-71322-7_5","DOIUrl":"https://doi.org/10.1007/978-3-540-71322-7_5","url":null,"abstract":"","PeriodicalId":217710,"journal":{"name":"Program Analysis and Compilation","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124091069","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
Infering Ownership Types for Encapsulated Object-Oriented Program Components 推断封装的面向对象程序组件的所有权类型
Program Analysis and Compilation Pub Date : 1900-01-01 DOI: 10.1007/978-3-540-71322-7_6
A. Poetzsch-Heffter, Kathrin Geilmann, Jan Schäfer
{"title":"Infering Ownership Types for Encapsulated Object-Oriented Program Components","authors":"A. Poetzsch-Heffter, Kathrin Geilmann, Jan Schäfer","doi":"10.1007/978-3-540-71322-7_6","DOIUrl":"https://doi.org/10.1007/978-3-540-71322-7_6","url":null,"abstract":"","PeriodicalId":217710,"journal":{"name":"Program Analysis and Compilation","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128624724","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}
引用次数: 21
An Appreciation of the Work of Reinhard Wilhelm 莱因哈德·威廉作品赏析
Program Analysis and Compilation Pub Date : 1900-01-01 DOI: 10.1007/978-3-540-71322-7_1
T. Reps, Shmuel Sagiv, Jörg Kreiker
{"title":"An Appreciation of the Work of Reinhard Wilhelm","authors":"T. Reps, Shmuel Sagiv, Jörg Kreiker","doi":"10.1007/978-3-540-71322-7_1","DOIUrl":"https://doi.org/10.1007/978-3-540-71322-7_1","url":null,"abstract":"","PeriodicalId":217710,"journal":{"name":"Program Analysis and Compilation","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128514118","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
Abstract Counterexample-Based Refinement for Powerset Domains 基于反例的Powerset域细化
Program Analysis and Compilation Pub Date : 1900-01-01 DOI: 10.1007/978-3-540-71322-7_13
R. Manevich, J. Field, T. Henzinger, G. Ramalingam, Shmuel Sagiv
{"title":"Abstract Counterexample-Based Refinement for Powerset Domains","authors":"R. Manevich, J. Field, T. Henzinger, G. Ramalingam, Shmuel Sagiv","doi":"10.1007/978-3-540-71322-7_13","DOIUrl":"https://doi.org/10.1007/978-3-540-71322-7_13","url":null,"abstract":"","PeriodicalId":217710,"journal":{"name":"Program Analysis and Compilation","volume":"306 3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114276813","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
Data Flow Analysis for CCS CCS的数据流分析
Program Analysis and Compilation Pub Date : 1900-01-01 DOI: 10.1007/978-3-540-71322-7_15
H. R. Nielson, F. Nielson
{"title":"Data Flow Analysis for CCS","authors":"H. R. Nielson, F. Nielson","doi":"10.1007/978-3-540-71322-7_15","DOIUrl":"https://doi.org/10.1007/978-3-540-71322-7_15","url":null,"abstract":"","PeriodicalId":217710,"journal":{"name":"Program Analysis and Compilation","volume":"895 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116384800","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
On the Expressive Power of Live Sequence Charts 论实时序列图的表达能力
Program Analysis and Compilation Pub Date : 1900-01-01 DOI: 10.1007/978-3-540-71322-7_11
W. Damm, Tobe Toben, B. Westphal
{"title":"On the Expressive Power of Live Sequence Charts","authors":"W. Damm, Tobe Toben, B. Westphal","doi":"10.1007/978-3-540-71322-7_11","DOIUrl":"https://doi.org/10.1007/978-3-540-71322-7_11","url":null,"abstract":"","PeriodicalId":217710,"journal":{"name":"Program Analysis and Compilation","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128490492","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
下一页 尾页
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学术官方微信